[−][src]Struct type_checking::checker::SemanticContext
Fields
context: &'ctx Context<'src>
global_vars: HashMap<Symbol<'src>, CheckedType<'src>>
Methods
impl<'ctx, 'src> SemanticContext<'ctx, 'src>[src]
impl<'ctx, 'src> SemanticContext<'ctx, 'src>pub fn new(context: &'ctx Context<'src>) -> SemanticContext<'ctx, 'src>[src]
pub fn new(context: &'ctx Context<'src>) -> SemanticContext<'ctx, 'src>pub fn report_error(&self, span: &Span<'src>, error: SemanticError)[src]
pub fn report_error(&self, span: &Span<'src>, error: SemanticError)Auto Trait Implementations
impl<'ctx, 'src> !Send for SemanticContext<'ctx, 'src>
impl<'ctx, 'src> !Send for SemanticContext<'ctx, 'src>impl<'ctx, 'src> !Sync for SemanticContext<'ctx, 'src>
impl<'ctx, 'src> !Sync for SemanticContext<'ctx, 'src>Blanket Implementations
impl<T> From for T[src]
impl<T> From for Timpl<T, U> Into for T where
U: From<T>, [src]
impl<T, U> Into for T where
U: From<T>, impl<T, U> TryFrom for T where
T: From<U>, [src]
impl<T, U> TryFrom for T where
T: From<U>, type Error = !
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>impl<T> Borrow for T where
T: ?Sized, [src]
impl<T> Borrow for T where
T: ?Sized, impl<T> BorrowMut for T where
T: ?Sized, [src]
impl<T> BorrowMut for T where
T: ?Sized, fn borrow_mut(&mut self) -> &mut T[src]
fn borrow_mut(&mut self) -> &mut Timpl<T, U> TryInto for T where
U: TryFrom<T>, [src]
impl<T, U> TryInto for T where
U: TryFrom<T>, type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from)The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>impl<T> Any for T where
T: 'static + ?Sized, [src]
impl<T> Any for T where
T: 'static + ?Sized, fn get_type_id(&self) -> TypeId[src]
fn get_type_id(&self) -> TypeId