ui test diff

lcnr · lcnr · commit 050acc02135e · 2020-07-15T12:58:32.000+02:00
diff --git a/src/test/ui/impl-trait/auto-trait-leak.stderr b/src/test/ui/impl-trait/auto-trait-leak.stderr
@@ -9,7 +9,7 @@ note: ...which requires borrow-checking `cycle1`...
    |
 LL | fn cycle1() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
-note: ...which requires processing `cycle1`...
+note: ...which requires processing the potential const argument `cycle1`...
   --> $DIR/auto-trait-leak.rs:12:1
    |
 LL | fn cycle1() -> impl Clone {
@@ -19,6 +19,11 @@ note: ...which requires processing MIR for `cycle1`...
    |
 LL | fn cycle1() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires unsafety-checking the potential const arg `cycle1`...
+  --> $DIR/auto-trait-leak.rs:12:1
+   |
+LL | fn cycle1() -> impl Clone {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires unsafety-checking `cycle1`...
   --> $DIR/auto-trait-leak.rs:12:1
    |
@@ -29,6 +34,11 @@ note: ...which requires building MIR for `cycle1`...
    |
 LL | fn cycle1() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires type-checking the potential const argument `cycle1`...
+  --> $DIR/auto-trait-leak.rs:12:1
+   |
+LL | fn cycle1() -> impl Clone {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires type-checking `cycle1`...
   --> $DIR/auto-trait-leak.rs:12:1
    |
@@ -45,7 +55,7 @@ note: ...which requires borrow-checking `cycle2`...
    |
 LL | fn cycle2() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
-note: ...which requires processing `cycle2`...
+note: ...which requires processing the potential const argument `cycle2`...
   --> $DIR/auto-trait-leak.rs:20:1
    |
 LL | fn cycle2() -> impl Clone {
@@ -55,6 +65,11 @@ note: ...which requires processing MIR for `cycle2`...
    |
 LL | fn cycle2() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires unsafety-checking the potential const arg `cycle2`...
+  --> $DIR/auto-trait-leak.rs:20:1
+   |
+LL | fn cycle2() -> impl Clone {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires unsafety-checking `cycle2`...
   --> $DIR/auto-trait-leak.rs:20:1
    |
@@ -65,6 +80,11 @@ note: ...which requires building MIR for `cycle2`...
    |
 LL | fn cycle2() -> impl Clone {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^
+note: ...which requires type-checking the potential const argument `cycle2`...
+  --> $DIR/auto-trait-leak.rs:20:1
+   |
+LL | fn cycle2() -> impl Clone {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
 note: ...which requires type-checking `cycle2`...
   --> $DIR/auto-trait-leak.rs:20:1
    |

Original file line number	Diff line number	Diff line change
@@ -9,7 +9,7 @@ note: ...which requires borrow-checking `cycle1`...
`9`	`9`	`\|`
`10`	`10`	`LL \| fn cycle1() -> impl Clone {`
`11`	`11`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`12`		-note: ...which requires processing `cycle1`...
	`12`	+note: ...which requires processing the potential const argument `cycle1`...
`13`	`13`	`--> $DIR/auto-trait-leak.rs:12:1`
`14`	`14`	`\|`
`15`	`15`	`LL \| fn cycle1() -> impl Clone {`
@@ -19,6 +19,11 @@ note: ...which requires processing MIR for `cycle1`...
`19`	`19`	`\|`
`20`	`20`	`LL \| fn cycle1() -> impl Clone {`
`21`	`21`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
	`22`	+note: ...which requires unsafety-checking the potential const arg `cycle1`...
	`23`	`+ --> $DIR/auto-trait-leak.rs:12:1`
	`24`	`+ \|`
	`25`	`+LL \| fn cycle1() -> impl Clone {`
	`26`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`22`	`27`	note: ...which requires unsafety-checking `cycle1`...
`23`	`28`	`--> $DIR/auto-trait-leak.rs:12:1`
`24`	`29`	`\|`
@@ -29,6 +34,11 @@ note: ...which requires building MIR for `cycle1`...
`29`	`34`	`\|`
`30`	`35`	`LL \| fn cycle1() -> impl Clone {`
`31`	`36`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
	`37`	+note: ...which requires type-checking the potential const argument `cycle1`...
	`38`	`+ --> $DIR/auto-trait-leak.rs:12:1`
	`39`	`+ \|`
	`40`	`+LL \| fn cycle1() -> impl Clone {`
	`41`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`32`	`42`	note: ...which requires type-checking `cycle1`...
`33`	`43`	`--> $DIR/auto-trait-leak.rs:12:1`
`34`	`44`	`\|`
@@ -45,7 +55,7 @@ note: ...which requires borrow-checking `cycle2`...
`45`	`55`	`\|`
`46`	`56`	`LL \| fn cycle2() -> impl Clone {`
`47`	`57`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`48`		-note: ...which requires processing `cycle2`...
	`58`	+note: ...which requires processing the potential const argument `cycle2`...
`49`	`59`	`--> $DIR/auto-trait-leak.rs:20:1`
`50`	`60`	`\|`
`51`	`61`	`LL \| fn cycle2() -> impl Clone {`
@@ -55,6 +65,11 @@ note: ...which requires processing MIR for `cycle2`...
`55`	`65`	`\|`
`56`	`66`	`LL \| fn cycle2() -> impl Clone {`
`57`	`67`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
	`68`	+note: ...which requires unsafety-checking the potential const arg `cycle2`...
	`69`	`+ --> $DIR/auto-trait-leak.rs:20:1`
	`70`	`+ \|`
	`71`	`+LL \| fn cycle2() -> impl Clone {`
	`72`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`58`	`73`	note: ...which requires unsafety-checking `cycle2`...
`59`	`74`	`--> $DIR/auto-trait-leak.rs:20:1`
`60`	`75`	`\|`
@@ -65,6 +80,11 @@ note: ...which requires building MIR for `cycle2`...
`65`	`80`	`\|`
`66`	`81`	`LL \| fn cycle2() -> impl Clone {`
`67`	`82`	`\| ^^^^^^^^^^^^^^^^^^^^^^^^^`
	`83`	+note: ...which requires type-checking the potential const argument `cycle2`...
	`84`	`+ --> $DIR/auto-trait-leak.rs:20:1`
	`85`	`+ \|`
	`86`	`+LL \| fn cycle2() -> impl Clone {`
	`87`	`+ \| ^^^^^^^^^^^^^^^^^^^^^^^^^`
`68`	`88`	note: ...which requires type-checking `cycle2`...
`69`	`89`	`--> $DIR/auto-trait-leak.rs:20:1`
`70`	`90`	`\|`