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