pub fn substitute_generics(
    db: &dyn SemanticGroup,
    substitution: &GenericSubstitution,
    ty: TypeId
) -> TypeId