Trait SemanticExprLookup

pub trait SemanticExprLookup<'a>: Upcast<dyn SemanticGroup + 'a> {
    // Provided methods
    fn lookup_expr_by_ptr(
        &self,
        function_id: FunctionWithBodyId,
        ptr: ExprPtr,
    ) -> Maybe<ExprId> { ... }
    fn lookup_pattern_by_ptr(
        &self,
        function_id: FunctionWithBodyId,
        ptr: PatternPtr,
    ) -> Maybe<PatternId> { ... }
}

Provided Methods

fn lookup_expr_by_ptr( &self, function_id: FunctionWithBodyId, ptr: ExprPtr, ) -> Maybe<ExprId>

fn lookup_pattern_by_ptr( &self, function_id: FunctionWithBodyId, ptr: PatternPtr, ) -> Maybe<PatternId>

Implementors

impl<'a, T: Upcast<dyn SemanticGroup + 'a> + ?Sized> SemanticExprLookup<'a> for T