1 warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
2 --> $DIR/equality2.rs:1:12
4 LL | #![feature(specialization)]
7 = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
8 = help: consider using `min_specialization` instead, which is more stable and complete
9 = note: `#[warn(incomplete_features)]` on by default
11 error[E0308]: mismatched types
12 --> $DIR/equality2.rs:25:18
14 LL | fn hide<T: Foo>(x: T) -> impl Foo {
15 | -------- the found opaque type
17 LL | let _: u32 = hide(0_u32);
18 | --- ^^^^^^^^^^^ expected `u32`, found opaque type
20 | expected due to this
22 = note: expected type `u32`
23 found opaque type `impl Foo`
25 error[E0308]: mismatched types
26 --> $DIR/equality2.rs:31:18
28 LL | fn hide<T: Foo>(x: T) -> impl Foo {
29 | -------- the found opaque type
31 LL | let _: i32 = Leak::leak(hide(0_i32));
32 | --- ^^^^^^^^^^^^^^^^^^^^^^^ expected `i32`, found associated type
34 | expected due to this
36 = note: expected type `i32`
37 found associated type `<impl Foo as Leak>::T`
38 help: consider constraining the associated type `<impl Foo as Leak>::T` to `i32`
40 LL | fn hide<T: Foo>(x: T) -> impl Foo<T = i32> {
43 error[E0308]: mismatched types
44 --> $DIR/equality2.rs:38:10
46 LL | fn hide<T: Foo>(x: T) -> impl Foo {
49 | the expected opaque type
50 | the found opaque type
53 | ^^^ expected `u32`, found `i32`
55 = note: expected opaque type `impl Foo` (`u32`)
56 found opaque type `impl Foo` (`i32`)
58 error[E0308]: mismatched types
59 --> $DIR/equality2.rs:41:10
61 LL | fn hide<T: Foo>(x: T) -> impl Foo {
64 | the expected opaque type
65 | the found opaque type
68 | ^^^ expected `i32`, found `u32`
70 = note: expected opaque type `impl Foo` (`i32`)
71 found opaque type `impl Foo` (`u32`)
73 error: aborting due to 4 previous errors; 1 warning emitted
75 For more information about this error, try `rustc --explain E0308`.