Function normalize_canonicalized_projection 

pub fn normalize_canonicalized_projection<'tcx>(
    tcx: TyCtxt<'tcx>,
    goal: CanonicalAliasGoal<'tcx>,
) -> String