Function cairo_lang_lowering::concretize::concretize_lowered

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

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