src/test/ui/type-alias-impl-trait/type-alias-impl-trait-const.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4 // Currently, the `type_alias_impl_trait` feature implicitly
   5 // depends on `impl_trait_in_bindings` in order to work properly.
   6 // Specifically, this line requires `impl_trait_in_bindings` to be enabled:
   7 // https://github.com/rust-lang/rust/blob/481068a707679257e2a738b40987246e0420e787/src/librustc_typeck/check/mod.rs#L856
   8 #![feature(impl_trait_in_bindings)]
   9 //~^ WARN the feature `impl_trait_in_bindings` is incomplete and may cause the compiler to crash
  10
  11 // Ensures that `const` items can constrain an opaque `impl Trait`.
  12
  13 use std::fmt::Debug;
  14
  15 pub type Foo = impl Debug;
  16
  17 const _FOO: Foo = 5;
  18
  19 fn main() {
  20 }