1 error[E0308]: mismatched types
2 --> $DIR/never_reveal_concrete_type.rs:13:27
4 LL | let _: &'static str = x;
5 | ------------ ^ expected `&str`, found opaque type
9 = note: expected reference `&'static str`
10 found opaque type `NoReveal`
12 error[E0605]: non-primitive cast: `NoReveal` as `&'static str`
13 --> $DIR/never_reveal_concrete_type.rs:14:13
15 LL | let _ = x as &'static str;
18 = note: an `as` expression can only be used to convert between primitive types. Consider using the `From` trait
20 error: aborting due to 2 previous errors
22 Some errors have detailed explanations: E0308, E0605.
23 For more information about an error, try `rustc --explain E0308`.