fn extract_type_specialization_from_target(
    target: &Expr
) -> Option<GenericVariableMappingContext>