/// Obtain the type indicated by the type context for an expression.
///
/// Returns `None` if no context information is available.
Obtain the type indicated by the type context for an expression.
Returns `None` if no context information is available.
Obtain the type indicated by the type context for an expression . Returns ` None ` if no context information is available .
pub fn type_context_resolved<I>(&self, id: I) -> Result<Option<&'ctx Ty>>
    where
        I: Copy + Debug + Into<NodeId>,
    {
        Ok(match self.type_context(id) {
            Some(TypeCtx::Type(t)) => Some(t),
            Some(TypeCtx::TypeOf(id)) => Some(self.ty(id)?),
            Some(TypeCtx::Inherit(id)) => self.type_context_resolved(id)?,
            None => None,
        })
    }
pub fn type_context_resolved < I > ( & self , id : I ) -> Result < Option < & ' ctx Ty > > where I : Copy + Debug + Into < NodeId > , { Ok ( match self . type_context ( id ) { Some ( TypeCtx :: Type ( t ) ) => Some ( t ) , Some ( TypeCtx :: TypeOf ( id ) ) => Some ( self . ty ( id ) ? ) , Some ( TypeCtx :: Inherit ( id ) ) => self . type_context_resolved ( id ) ? , None => None , } ) }
Obtain the type indicated by the type context for an expression.
Obtain the type indicated by the type context for an expression .
&self
id
I