self review

lcnr · lcnr · commit 041208cb8c5b · 2023-12-07T23:47:32.000+01:00
diff --git a/compiler/rustc_middle/src/ty/print/pretty.rs b/compiler/rustc_middle/src/ty/print/pretty.rs
@@ -2814,7 +2814,7 @@ define_print! {
                 p!("the constant `", print(c1), "` equals `", print(c2), "`")
             }
             ty::PredicateKind::Ambiguous => p!("ambiguous"),
-            ty::PredicateKind::NormalizesTo(data) => p!(print(data.alias), " normalizes-to ", print(data.term)),
+            ty::PredicateKind::NormalizesTo(data) => p!(print(data)),
             ty::PredicateKind::AliasRelate(t1, t2, dir) => p!(print(t1), write(" {} ", dir), print(t2)),
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -2814,7 +2814,7 @@ define_print! {`
`2814`	`2814`	p!("the constant `", print(c1), "` equals `", print(c2), "`")
`2815`	`2815`	`}`
`2816`	`2816`	`ty::PredicateKind::Ambiguous => p!("ambiguous"),`
`2817`		`- ty::PredicateKind::NormalizesTo(data) => p!(print(data.alias), " normalizes-to ", print(data.term)),`
	`2817`	`+ ty::PredicateKind::NormalizesTo(data) => p!(print(data)),`
`2818`	`2818`	`ty::PredicateKind::AliasRelate(t1, t2, dir) => p!(print(t1), write(" {} ", dir), print(t2)),`
`2819`	`2819`	`}`
`2820`	`2820`	`}`