src/test/ui/associated-consts/associated-const-trait-bound.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2
   3 trait ConstDefault {
   4     const DEFAULT: Self;
   5 }
   6
   7 trait Foo: Sized {}
   8
   9 trait FooExt: Foo {
  10     type T: ConstDefault;
  11 }
  12
  13 trait Bar<F: FooExt> {
  14     const T: F::T;
  15 }
  16
  17 impl<F: FooExt> Bar<F> for () {
  18     const T: F::T = <F::T as ConstDefault>::DEFAULT;
  19 }
  20
  21 fn main() {}