Function function_implicits 

pub fn function_implicits(
    db: &dyn LoweringGroup,
    function: FunctionId,
) -> Maybe<Vec<TypeId>>

Query implementation of crate::db::LoweringGroup::function_implicits.