Rollup merge of rust-lang#104117 - crlf0710:update_feature_gate, r=jackh726

GuillaumeGomez · web-flow · commit c655cbfbcbbf · 2022-11-12T17:24:55.000+01:00
Mark `trait_upcasting` feature no longer incomplete. This marks the `trait_upcasting` feature no longer incomplete since rust-lang#101336 has been settled for a little while. r? `````@jackh726`````
diff --git a/compiler/rustc_feature/src/active.rs b/compiler/rustc_feature/src/active.rs
@@ -512,9 +512,9 @@ declare_features! (
     (active, thread_local, "1.0.0", Some(29594), None),
     /// Allows defining `trait X = A + B;` alias items.
     (active, trait_alias, "1.24.0", Some(41517), None),
-    /// Allows upcasting trait objects via supertraits.
-    /// Trait upcasting is casting, e.g., `dyn Foo -> dyn Bar` where `Foo: Bar`.
-    (incomplete, trait_upcasting, "1.56.0", Some(65991), None),
+    /// Allows dyn upcasting trait objects via supertraits.
+    /// Dyn upcasting is casting, e.g., `dyn Foo -> dyn Bar` where `Foo: Bar`.
+    (active, trait_upcasting, "1.56.0", Some(65991), None),
     /// Allows #[repr(transparent)] on unions (RFC 2645).
     (active, transparent_unions, "1.37.0", Some(60405), None),
     /// Allows inconsistent bounds in where clauses.
diff --git a/src/test/ui/codegen/issue-99551.rs b/src/test/ui/codegen/issue-99551.rs
@@ -1,6 +1,5 @@
 // build-pass
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 pub trait A {}
 pub trait B {}
diff --git a/src/test/ui/traits/trait-upcasting/basic.rs b/src/test/ui/traits/trait-upcasting/basic.rs
@@ -1,7 +1,6 @@
 // run-pass
 
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo: PartialEq<i32> + std::fmt::Debug + Send + Sync {
     fn a(&self) -> i32 {
diff --git a/src/test/ui/traits/trait-upcasting/correct-supertrait-substitution.rs b/src/test/ui/traits/trait-upcasting/correct-supertrait-substitution.rs
@@ -1,6 +1,5 @@
 // run-pass
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo<T: Default + ToString>: Bar<i32> + Bar<T> {}
 trait Bar<T: Default + ToString> {
diff --git a/src/test/ui/traits/trait-upcasting/diamond.rs b/src/test/ui/traits/trait-upcasting/diamond.rs
@@ -1,7 +1,6 @@
 // run-pass
 
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo: PartialEq<i32> + std::fmt::Debug + Send + Sync {
     fn a(&self) -> i32 {
diff --git a/src/test/ui/traits/trait-upcasting/invalid-upcast.rs b/src/test/ui/traits/trait-upcasting/invalid-upcast.rs
@@ -1,5 +1,4 @@
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo {
     fn a(&self) -> i32 {
diff --git a/src/test/ui/traits/trait-upcasting/invalid-upcast.stderr b/src/test/ui/traits/trait-upcasting/invalid-upcast.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:54:35
+  --> $DIR/invalid-upcast.rs:53:35
    |
 LL |     let _: &dyn std::fmt::Debug = baz;
    |            --------------------   ^^^ expected trait `Debug`, found trait `Baz`
@@ -10,7 +10,7 @@ LL |     let _: &dyn std::fmt::Debug = baz;
               found reference `&dyn Baz`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:56:24
+  --> $DIR/invalid-upcast.rs:55:24
    |
 LL |     let _: &dyn Send = baz;
    |            ---------   ^^^ expected trait `Send`, found trait `Baz`
@@ -21,7 +21,7 @@ LL |     let _: &dyn Send = baz;
               found reference `&dyn Baz`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:58:24
+  --> $DIR/invalid-upcast.rs:57:24
    |
 LL |     let _: &dyn Sync = baz;
    |            ---------   ^^^ expected trait `Sync`, found trait `Baz`
@@ -32,7 +32,7 @@ LL |     let _: &dyn Sync = baz;
               found reference `&dyn Baz`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:61:25
+  --> $DIR/invalid-upcast.rs:60:25
    |
 LL |     let bar: &dyn Bar = baz;
    |              --------   ^^^ expected trait `Bar`, found trait `Baz`
@@ -43,7 +43,7 @@ LL |     let bar: &dyn Bar = baz;
               found reference `&dyn Baz`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:63:35
+  --> $DIR/invalid-upcast.rs:62:35
    |
 LL |     let _: &dyn std::fmt::Debug = bar;
    |            --------------------   ^^^ expected trait `Debug`, found trait `Bar`
@@ -54,7 +54,7 @@ LL |     let _: &dyn std::fmt::Debug = bar;
               found reference `&dyn Bar`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:65:24
+  --> $DIR/invalid-upcast.rs:64:24
    |
 LL |     let _: &dyn Send = bar;
    |            ---------   ^^^ expected trait `Send`, found trait `Bar`
@@ -65,7 +65,7 @@ LL |     let _: &dyn Send = bar;
               found reference `&dyn Bar`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:67:24
+  --> $DIR/invalid-upcast.rs:66:24
    |
 LL |     let _: &dyn Sync = bar;
    |            ---------   ^^^ expected trait `Sync`, found trait `Bar`
@@ -76,7 +76,7 @@ LL |     let _: &dyn Sync = bar;
               found reference `&dyn Bar`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:70:25
+  --> $DIR/invalid-upcast.rs:69:25
    |
 LL |     let foo: &dyn Foo = baz;
    |              --------   ^^^ expected trait `Foo`, found trait `Baz`
@@ -87,7 +87,7 @@ LL |     let foo: &dyn Foo = baz;
               found reference `&dyn Baz`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:72:35
+  --> $DIR/invalid-upcast.rs:71:35
    |
 LL |     let _: &dyn std::fmt::Debug = foo;
    |            --------------------   ^^^ expected trait `Debug`, found trait `Foo`
@@ -98,7 +98,7 @@ LL |     let _: &dyn std::fmt::Debug = foo;
               found reference `&dyn Foo`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:74:24
+  --> $DIR/invalid-upcast.rs:73:24
    |
 LL |     let _: &dyn Send = foo;
    |            ---------   ^^^ expected trait `Send`, found trait `Foo`
@@ -109,7 +109,7 @@ LL |     let _: &dyn Send = foo;
               found reference `&dyn Foo`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:76:24
+  --> $DIR/invalid-upcast.rs:75:24
    |
 LL |     let _: &dyn Sync = foo;
    |            ---------   ^^^ expected trait `Sync`, found trait `Foo`
@@ -120,7 +120,7 @@ LL |     let _: &dyn Sync = foo;
               found reference `&dyn Foo`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:79:25
+  --> $DIR/invalid-upcast.rs:78:25
    |
 LL |     let foo: &dyn Foo = bar;
    |              --------   ^^^ expected trait `Foo`, found trait `Bar`
@@ -131,7 +131,7 @@ LL |     let foo: &dyn Foo = bar;
               found reference `&dyn Bar`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:81:35
+  --> $DIR/invalid-upcast.rs:80:35
    |
 LL |     let _: &dyn std::fmt::Debug = foo;
    |            --------------------   ^^^ expected trait `Debug`, found trait `Foo`
@@ -142,7 +142,7 @@ LL |     let _: &dyn std::fmt::Debug = foo;
               found reference `&dyn Foo`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:83:24
+  --> $DIR/invalid-upcast.rs:82:24
    |
 LL |     let _: &dyn Send = foo;
    |            ---------   ^^^ expected trait `Send`, found trait `Foo`
@@ -153,7 +153,7 @@ LL |     let _: &dyn Send = foo;
               found reference `&dyn Foo`
 
 error[E0308]: mismatched types
-  --> $DIR/invalid-upcast.rs:85:24
+  --> $DIR/invalid-upcast.rs:84:24
    |
 LL |     let _: &dyn Sync = foo;
    |            ---------   ^^^ expected trait `Sync`, found trait `Foo`
diff --git a/src/test/ui/traits/trait-upcasting/issue-11515-upcast-fn_mut-fn.rs b/src/test/ui/traits/trait-upcasting/issue-11515-upcast-fn_mut-fn.rs
@@ -1,6 +1,5 @@
 // run-pass
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 struct Test {
     func: Box<dyn FnMut() + 'static>,
diff --git a/src/test/ui/traits/trait-upcasting/lifetime.rs b/src/test/ui/traits/trait-upcasting/lifetime.rs
@@ -1,7 +1,6 @@
 // run-pass
 
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo: PartialEq<i32> + std::fmt::Debug + Send + Sync {
     fn a(&self) -> i32 {
diff --git a/src/test/ui/traits/trait-upcasting/multiple-occurrence-ambiguousity.rs b/src/test/ui/traits/trait-upcasting/multiple-occurrence-ambiguousity.rs
@@ -1,12 +1,11 @@
 // check-fail
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Bar<T> {
     fn bar(&self, _: T) {}
 }
 
-trait Foo : Bar<i32> + Bar<u32> {
+trait Foo: Bar<i32> + Bar<u32> {
     fn foo(&self, _: ()) {}
 }
 
diff --git a/src/test/ui/traits/trait-upcasting/multiple-occurrence-ambiguousity.stderr b/src/test/ui/traits/trait-upcasting/multiple-occurrence-ambiguousity.stderr
@@ -1,5 +1,5 @@
 error[E0308]: mismatched types
-  --> $DIR/multiple-occurrence-ambiguousity.rs:21:26
+  --> $DIR/multiple-occurrence-ambiguousity.rs:20:26
    |
 LL |     let t: &dyn Bar<_> = s;
    |            -----------   ^ expected trait `Bar`, found trait `Foo`
diff --git a/src/test/ui/traits/trait-upcasting/replace-vptr.rs b/src/test/ui/traits/trait-upcasting/replace-vptr.rs
@@ -1,7 +1,6 @@
 // run-pass
 
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait A {
     fn foo_a(&self);
diff --git a/src/test/ui/traits/trait-upcasting/struct.rs b/src/test/ui/traits/trait-upcasting/struct.rs
@@ -1,7 +1,6 @@
 // run-pass
 
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 use std::rc::Rc;
 use std::sync::Arc;
diff --git a/src/test/ui/traits/trait-upcasting/subtrait-method.rs b/src/test/ui/traits/trait-upcasting/subtrait-method.rs
@@ -1,5 +1,4 @@
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo: PartialEq<i32> + std::fmt::Debug + Send + Sync {
     fn a(&self) -> i32 {
diff --git a/src/test/ui/traits/trait-upcasting/subtrait-method.stderr b/src/test/ui/traits/trait-upcasting/subtrait-method.stderr
@@ -1,64 +1,64 @@
 error[E0599]: no method named `c` found for reference `&dyn Bar` in the current scope
-  --> $DIR/subtrait-method.rs:56:9
+  --> $DIR/subtrait-method.rs:55:9
    |
 LL |     bar.c();
    |         ^ help: there is a method with a similar name: `a`
    |
    = help: items from traits can only be used if the trait is implemented and in scope
 note: `Baz` defines an item `c`, perhaps you need to implement it
-  --> $DIR/subtrait-method.rs:28:1
+  --> $DIR/subtrait-method.rs:27:1
    |
 LL | trait Baz: Bar {
    | ^^^^^^^^^^^^^^
 
 error[E0599]: no method named `b` found for reference `&dyn Foo` in the current scope
-  --> $DIR/subtrait-method.rs:60:9
+  --> $DIR/subtrait-method.rs:59:9
    |
 LL |     foo.b();
    |         ^ help: there is a method with a similar name: `a`
    |
    = help: items from traits can only be used if the trait is implemented and in scope
 note: `Bar` defines an item `b`, perhaps you need to implement it
-  --> $DIR/subtrait-method.rs:18:1
+  --> $DIR/subtrait-method.rs:17:1
    |
 LL | trait Bar: Foo {
    | ^^^^^^^^^^^^^^
 
 error[E0599]: no method named `c` found for reference `&dyn Foo` in the current scope
-  --> $DIR/subtrait-method.rs:62:9
+  --> $DIR/subtrait-method.rs:61:9
    |
 LL |     foo.c();
    |         ^ help: there is a method with a similar name: `a`
    |
    = help: items from traits can only be used if the trait is implemented and in scope
 note: `Baz` defines an item `c`, perhaps you need to implement it
-  --> $DIR/subtrait-method.rs:28:1
+  --> $DIR/subtrait-method.rs:27:1
    |
 LL | trait Baz: Bar {
    | ^^^^^^^^^^^^^^
 
 error[E0599]: no method named `b` found for reference `&dyn Foo` in the current scope
-  --> $DIR/subtrait-method.rs:66:9
+  --> $DIR/subtrait-method.rs:65:9
    |
 LL |     foo.b();
    |         ^ help: there is a method with a similar name: `a`
    |
    = help: items from traits can only be used if the trait is implemented and in scope
 note: `Bar` defines an item `b`, perhaps you need to implement it
-  --> $DIR/subtrait-method.rs:18:1
+  --> $DIR/subtrait-method.rs:17:1
    |
 LL | trait Bar: Foo {
    | ^^^^^^^^^^^^^^
 
 error[E0599]: no method named `c` found for reference `&dyn Foo` in the current scope
-  --> $DIR/subtrait-method.rs:68:9
+  --> $DIR/subtrait-method.rs:67:9
    |
 LL |     foo.c();
    |         ^ help: there is a method with a similar name: `a`
    |
    = help: items from traits can only be used if the trait is implemented and in scope
 note: `Baz` defines an item `c`, perhaps you need to implement it
-  --> $DIR/subtrait-method.rs:28:1
+  --> $DIR/subtrait-method.rs:27:1
    |
 LL | trait Baz: Bar {
    | ^^^^^^^^^^^^^^
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-1.rs b/src/test/ui/traits/trait-upcasting/type-checking-test-1.rs
@@ -1,5 +1,4 @@
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo: Bar<i32> + Bar<u32> {}
 trait Bar<T> {
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-1.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-1.stderr
@@ -1,5 +1,5 @@
 error[E0605]: non-primitive cast: `&dyn Foo` as `&dyn Bar<_>`
-  --> $DIR/type-checking-test-1.rs:17:13
+  --> $DIR/type-checking-test-1.rs:16:13
    |
 LL |     let _ = x as &dyn Bar<_>; // Ambiguous
    |             ^^^^^^^^^^^^^^^^ invalid cast
@@ -10,7 +10,7 @@ LL |     let _ = &x as &dyn Bar<_>; // Ambiguous
    |             +
 
 error[E0277]: the trait bound `&dyn Foo: Bar<_>` is not satisfied
-  --> $DIR/type-checking-test-1.rs:17:13
+  --> $DIR/type-checking-test-1.rs:16:13
    |
 LL |     let _ = x as &dyn Bar<_>; // Ambiguous
    |             ^ the trait `Bar<_>` is not implemented for `&dyn Foo`
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-2.rs b/src/test/ui/traits/trait-upcasting/type-checking-test-2.rs
@@ -1,5 +1,4 @@
 #![feature(trait_upcasting)]
-#![allow(incomplete_features)]
 
 trait Foo<T>: Bar<i32> + Bar<T> {}
 trait Bar<T> {
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-2.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-2.stderr
@@ -1,5 +1,5 @@
 error[E0605]: non-primitive cast: `&dyn Foo<i32>` as `&dyn Bar<u32>`
-  --> $DIR/type-checking-test-2.rs:20:13
+  --> $DIR/type-checking-test-2.rs:19:13
    |
 LL |     let _ = x as &dyn Bar<u32>; // Error
    |             ^^^^^^^^^^^^^^^^^^ invalid cast
@@ -10,15 +10,15 @@ LL |     let _ = &x as &dyn Bar<u32>; // Error
    |             +
 
 error[E0277]: the trait bound `&dyn Foo<i32>: Bar<u32>` is not satisfied
-  --> $DIR/type-checking-test-2.rs:20:13
+  --> $DIR/type-checking-test-2.rs:19:13
    |
 LL |     let _ = x as &dyn Bar<u32>; // Error
    |             ^ the trait `Bar<u32>` is not implemented for `&dyn Foo<i32>`
    |
    = note: required for the cast from `&dyn Foo<i32>` to the object type `dyn Bar<u32>`
 
 error[E0605]: non-primitive cast: `&dyn Foo<u32>` as `&dyn Bar<_>`
-  --> $DIR/type-checking-test-2.rs:26:13
+  --> $DIR/type-checking-test-2.rs:25:13
    |
 LL |     let a = x as &dyn Bar<_>; // Ambiguous
    |             ^^^^^^^^^^^^^^^^ invalid cast
@@ -29,7 +29,7 @@ LL |     let a = &x as &dyn Bar<_>; // Ambiguous
    |             +
 
 error[E0277]: the trait bound `&dyn Foo<u32>: Bar<_>` is not satisfied
-  --> $DIR/type-checking-test-2.rs:26:13
+  --> $DIR/type-checking-test-2.rs:25:13
    |
 LL |     let a = x as &dyn Bar<_>; // Ambiguous
    |             ^ the trait `Bar<_>` is not implemented for `&dyn Foo<u32>`
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-3.polonius.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-3.polonius.stderr
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-3.rs b/src/test/ui/traits/trait-upcasting/type-checking-test-3.rs
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-3.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-3.stderr
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-4.polonius.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-4.polonius.stderr
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-4.rs b/src/test/ui/traits/trait-upcasting/type-checking-test-4.rs
diff --git a/src/test/ui/traits/trait-upcasting/type-checking-test-4.stderr b/src/test/ui/traits/trait-upcasting/type-checking-test-4.stderr

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`#![feature(trait_upcasting)]`
`2`		`-#![allow(incomplete_features)]`
`3`	`2`
`4`	`3`	`trait Foo {`
`5`	`4`	`fn a(&self) -> i32 {`
Original file line number	Diff line number	Diff line change
`@@ -1,12 +1,11 @@`
`1`	`1`	`// check-fail`
`2`	`2`	`#![feature(trait_upcasting)]`
`3`		`-#![allow(incomplete_features)]`
`4`	`3`
`5`	`4`	`trait Bar<T> {`
`6`	`5`	`fn bar(&self, _: T) {}`
`7`	`6`	`}`
`8`	`7`
`9`		`-trait Foo : Bar<i32> + Bar<u32> {`
	`8`	`+trait Foo: Bar<i32> + Bar<u32> {`
`10`	`9`	`fn foo(&self, _: ()) {}`
`11`	`10`	`}`
`12`	`11`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`error[E0308]: mismatched types`
`2`		`- --> $DIR/multiple-occurrence-ambiguousity.rs:21:26`
	`2`	`+ --> $DIR/multiple-occurrence-ambiguousity.rs:20:26`
`3`	`3`	`\|`
`4`	`4`	`LL \| let t: &dyn Bar<_> = s;`
`5`	`5`	\| ----------- ^ expected trait `Bar`, found trait `Foo`
Original file line number	Diff line number	Diff line change
`@@ -1,64 +1,64 @@`
`1`	`1`	error[E0599]: no method named `c` found for reference `&dyn Bar` in the current scope
`2`		`- --> $DIR/subtrait-method.rs:56:9`
	`2`	`+ --> $DIR/subtrait-method.rs:55:9`
`3`	`3`	`\|`
`4`	`4`	`LL \| bar.c();`
`5`	`5`	\| ^ help: there is a method with a similar name: `a`
`6`	`6`	`\|`
`7`	`7`	`= help: items from traits can only be used if the trait is implemented and in scope`
`8`	`8`	note: `Baz` defines an item `c`, perhaps you need to implement it
`9`		`- --> $DIR/subtrait-method.rs:28:1`
	`9`	`+ --> $DIR/subtrait-method.rs:27:1`
`10`	`10`	`\|`
`11`	`11`	`LL \| trait Baz: Bar {`
`12`	`12`	`\| ^^^^^^^^^^^^^^`
`13`	`13`
`14`	`14`	error[E0599]: no method named `b` found for reference `&dyn Foo` in the current scope
`15`		`- --> $DIR/subtrait-method.rs:60:9`
	`15`	`+ --> $DIR/subtrait-method.rs:59:9`
`16`	`16`	`\|`
`17`	`17`	`LL \| foo.b();`
`18`	`18`	\| ^ help: there is a method with a similar name: `a`
`19`	`19`	`\|`
`20`	`20`	`= help: items from traits can only be used if the trait is implemented and in scope`
`21`	`21`	note: `Bar` defines an item `b`, perhaps you need to implement it
`22`		`- --> $DIR/subtrait-method.rs:18:1`
	`22`	`+ --> $DIR/subtrait-method.rs:17:1`
`23`	`23`	`\|`
`24`	`24`	`LL \| trait Bar: Foo {`
`25`	`25`	`\| ^^^^^^^^^^^^^^`
`26`	`26`
`27`	`27`	error[E0599]: no method named `c` found for reference `&dyn Foo` in the current scope
`28`		`- --> $DIR/subtrait-method.rs:62:9`
	`28`	`+ --> $DIR/subtrait-method.rs:61:9`
`29`	`29`	`\|`
`30`	`30`	`LL \| foo.c();`
`31`	`31`	\| ^ help: there is a method with a similar name: `a`
`32`	`32`	`\|`
`33`	`33`	`= help: items from traits can only be used if the trait is implemented and in scope`
`34`	`34`	note: `Baz` defines an item `c`, perhaps you need to implement it
`35`		`- --> $DIR/subtrait-method.rs:28:1`
	`35`	`+ --> $DIR/subtrait-method.rs:27:1`
`36`	`36`	`\|`
`37`	`37`	`LL \| trait Baz: Bar {`
`38`	`38`	`\| ^^^^^^^^^^^^^^`
`39`	`39`
`40`	`40`	error[E0599]: no method named `b` found for reference `&dyn Foo` in the current scope
`41`		`- --> $DIR/subtrait-method.rs:66:9`
	`41`	`+ --> $DIR/subtrait-method.rs:65:9`
`42`	`42`	`\|`
`43`	`43`	`LL \| foo.b();`
`44`	`44`	\| ^ help: there is a method with a similar name: `a`
`45`	`45`	`\|`
`46`	`46`	`= help: items from traits can only be used if the trait is implemented and in scope`
`47`	`47`	note: `Bar` defines an item `b`, perhaps you need to implement it
`48`		`- --> $DIR/subtrait-method.rs:18:1`
	`48`	`+ --> $DIR/subtrait-method.rs:17:1`
`49`	`49`	`\|`
`50`	`50`	`LL \| trait Bar: Foo {`
`51`	`51`	`\| ^^^^^^^^^^^^^^`
`52`	`52`
`53`	`53`	error[E0599]: no method named `c` found for reference `&dyn Foo` in the current scope
`54`		`- --> $DIR/subtrait-method.rs:68:9`
	`54`	`+ --> $DIR/subtrait-method.rs:67:9`
`55`	`55`	`\|`
`56`	`56`	`LL \| foo.c();`
`57`	`57`	\| ^ help: there is a method with a similar name: `a`
`58`	`58`	`\|`
`59`	`59`	`= help: items from traits can only be used if the trait is implemented and in scope`
`60`	`60`	note: `Baz` defines an item `c`, perhaps you need to implement it
`61`		`- --> $DIR/subtrait-method.rs:28:1`
	`61`	`+ --> $DIR/subtrait-method.rs:27:1`
`62`	`62`	`\|`
`63`	`63`	`LL \| trait Baz: Bar {`
`64`	`64`	`\| ^^^^^^^^^^^^^^`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0605]: non-primitive cast: `&dyn Foo` as `&dyn Bar<_>`
`2`		`- --> $DIR/type-checking-test-1.rs:17:13`
	`2`	`+ --> $DIR/type-checking-test-1.rs:16:13`
`3`	`3`	`\|`
`4`	`4`	`LL \| let _ = x as &dyn Bar<_>; // Ambiguous`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^ invalid cast`
`@@ -10,7 +10,7 @@ LL \| let _ = &x as &dyn Bar<_>; // Ambiguous`
`10`	`10`	`\| +`
`11`	`11`
`12`	`12`	error[E0277]: the trait bound `&dyn Foo: Bar<_>` is not satisfied
`13`		`- --> $DIR/type-checking-test-1.rs:17:13`
	`13`	`+ --> $DIR/type-checking-test-1.rs:16:13`
`14`	`14`	`\|`
`15`	`15`	`LL \| let _ = x as &dyn Bar<_>; // Ambiguous`
`16`	`16`	\| ^ the trait `Bar<_>` is not implemented for `&dyn Foo`
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	error[E0605]: non-primitive cast: `&dyn Foo<i32>` as `&dyn Bar<u32>`
`2`		`- --> $DIR/type-checking-test-2.rs:20:13`
	`2`	`+ --> $DIR/type-checking-test-2.rs:19:13`
`3`	`3`	`\|`
`4`	`4`	`LL \| let _ = x as &dyn Bar<u32>; // Error`
`5`	`5`	`\| ^^^^^^^^^^^^^^^^^^ invalid cast`
`@@ -10,15 +10,15 @@ LL \| let _ = &x as &dyn Bar<u32>; // Error`
`10`	`10`	`\| +`
`11`	`11`
`12`	`12`	error[E0277]: the trait bound `&dyn Foo<i32>: Bar<u32>` is not satisfied
`13`		`- --> $DIR/type-checking-test-2.rs:20:13`
	`13`	`+ --> $DIR/type-checking-test-2.rs:19:13`
`14`	`14`	`\|`
`15`	`15`	`LL \| let _ = x as &dyn Bar<u32>; // Error`
`16`	`16`	\| ^ the trait `Bar<u32>` is not implemented for `&dyn Foo<i32>`
`17`	`17`	`\|`
`18`	`18`	= note: required for the cast from `&dyn Foo<i32>` to the object type `dyn Bar<u32>`
`19`	`19`
`20`	`20`	error[E0605]: non-primitive cast: `&dyn Foo<u32>` as `&dyn Bar<_>`
`21`		`- --> $DIR/type-checking-test-2.rs:26:13`
	`21`	`+ --> $DIR/type-checking-test-2.rs:25:13`
`22`	`22`	`\|`
`23`	`23`	`LL \| let a = x as &dyn Bar<_>; // Ambiguous`
`24`	`24`	`\| ^^^^^^^^^^^^^^^^ invalid cast`
`@@ -29,7 +29,7 @@ LL \| let a = &x as &dyn Bar<_>; // Ambiguous`
`29`	`29`	`\| +`
`30`	`30`
`31`	`31`	error[E0277]: the trait bound `&dyn Foo<u32>: Bar<_>` is not satisfied
`32`		`- --> $DIR/type-checking-test-2.rs:26:13`
	`32`	`+ --> $DIR/type-checking-test-2.rs:25:13`
`33`	`33`	`\|`
`34`	`34`	`LL \| let a = x as &dyn Bar<_>; // Ambiguous`
`35`	`35`	\| ^ the trait `Bar<_>` is not implemented for `&dyn Foo<u32>`