Function concretize_lowered

pub fn concretize_lowered(
    db: &dyn LoweringGroup,
    lowered: &mut FlatLowered,
    substitution: &GenericSubstitution,
) -> Maybe<()>

Concretizes a lowered generic function by applying a generic parameter substitution on its variable types, variants and called functions.