1 2 3 4 5 6 7 8 9 10 11 12 13 14
#![feature(type_alias_impl_trait)] // check-pass fn main() {} type NoReveal = impl std::fmt::Debug; fn define_no_reveal() -> NoReveal { "" } fn no_reveal(x: NoReveal) { let _: &'static str = x; let _ = x as &'static str; }