diff options
Diffstat (limited to 'tests/ui/type-alias-impl-trait/never_reveal_concrete_type.rs')
-rw-r--r-- | tests/ui/type-alias-impl-trait/never_reveal_concrete_type.rs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/tests/ui/type-alias-impl-trait/never_reveal_concrete_type.rs b/tests/ui/type-alias-impl-trait/never_reveal_concrete_type.rs new file mode 100644 index 000000000..fed5ac07c --- /dev/null +++ b/tests/ui/type-alias-impl-trait/never_reveal_concrete_type.rs @@ -0,0 +1,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; +} |