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

   1 // check-pass
   2 #![allow(dead_code)]
   3 trait T {
   4     type X;
   5     const X: Self::X;
   6 }
   7 fn foo<X: T>() {
   8     let _: X::X = X::X;
   9 }
  10
  11 trait S {
  12     const X: Self::X;
  13     type X;
  14 }
  15 fn bar<X: S>() {
  16     let _: X::X = X::X;
  17 }
  18
  19 fn main() {}