Trait FunctionImplicitsTrait 

pub trait FunctionImplicitsTrait<'db>: Database {
    // Provided method
    fn function_with_body_implicits(
        &'db self,
        function: ConcreteFunctionWithBodyId<'db>,
    ) -> Maybe<Vec<TypeId<'db>>> { ... }
}

A trait to add helper methods in LoweringGroup.

Provided Methods

fn function_with_body_implicits( &'db self, function: ConcreteFunctionWithBodyId<'db>, ) -> Maybe<Vec<TypeId<'db>>>

Returns all the implicits used by a ConcreteFunctionWithBodyId.

Implementors

impl<'db, T: Database + ?Sized> FunctionImplicitsTrait<'db> for T