#![feature(type_alias_impl_trait)]
-
+// check-pass
fn main() {}
-// don't reveal the concrete type
type NoReveal = impl std::fmt::Debug;
fn define_no_reveal() -> NoReveal {
}
fn no_reveal(x: NoReveal) {
- let _: &'static str = x; //~ mismatched types
- let _ = x as &'static str; //~ non-primitive cast
+ let _: &'static str = x;
+ let _ = x as &'static str;
}