#![feature(type_alias_impl_trait)] | |
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 | |
} |