tests/ui/rfc-2632-const-trait-impl/assoc-type-const-bound-usage.rs

   1 // check-pass
   2 #![feature(const_trait_impl)]
   3
   4 #[const_trait]
   5 trait Foo {
   6     type Assoc: ~const Foo;
   7     fn foo() {}
   8 }
   9
  10 const fn foo<T: ~const Foo>() {
  11     <T as Foo>::Assoc::foo();
  12 }
  13
  14 fn main() {}