Trait FunctionImplicitsTrait

pub trait FunctionImplicitsTrait<'a>: Upcast<dyn LoweringGroup + 'a> {
    // Provided method
    fn function_with_body_implicits(
        &self,
        function: ConcreteFunctionWithBodyId,
    ) -> Maybe<Vec<TypeId>> { ... }
}

A trait to add helper methods in LoweringGroup.

Provided Methods

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

Returns all the implicits used by a ConcreteFunctionWithBodyId.

Implementors

impl<'a, T: Upcast<dyn LoweringGroup + 'a> + ?Sized> FunctionImplicitsTrait<'a> for T