src/test/ui/issues/issue-42956.rs

   1 // build-pass (FIXME(62277): could be check-pass?)
   2 #![allow(dead_code)]
   3 #![allow(stable_features)]
   4 #![feature(associated_consts)]
   5
   6 impl A for i32 {
   7     type Foo = u32;
   8 }
   9 impl B for u32 {
  10     const BAR: i32 = 0;
  11 }
  12
  13 trait A {
  14     type Foo: B;
  15 }
  16
  17 trait B {
  18     const BAR: i32;
  19 }
  20
  21 fn generic<T: A>() {
  22     // This panics if the universal function call syntax is used as well
  23     println!("{}", T::Foo::BAR);
  24 }
  25
  26 fn main() {}