1 error[E0308]: mismatched types
2 --> $DIR/never_reveal_concrete_type.rs:16:27
4 LL | type NoReveal = impl std::fmt::Debug;
5 | -------------------- the found opaque type
7 LL | let _: &'static str = x;
8 | ------------ ^ expected `&str`, found opaque type
10 | expected due to this
12 = note: expected reference `&'static str`
13 found opaque type `impl Debug`
15 error[E0605]: non-primitive cast: `impl Debug` as `&'static str`
16 --> $DIR/never_reveal_concrete_type.rs:17:13
18 LL | let _ = x as &'static str;
19 | ^^^^^^^^^^^^^^^^^ an `as` expression can only be used to convert between primitive types or to coerce to a specific trait object
21 error: aborting due to 2 previous errors
23 Some errors have detailed explanations: E0308, E0605.
24 For more information about an error, try `rustc --explain E0308`.