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

   1 trait MapLookup<Q> {
   2     type MapValue;
   3 }
   4
   5 impl<K> MapLookup<K> for K {
   6     type MapValue = K;
   7 }
   8
   9 trait Map: MapLookup<<Self as Map>::Key> {
  10     type Key;
  11 }
  12
  13 impl<K> Map for K {
  14     type Key = K;
  15 }
  16
  17
  18 fn main() {
  19     let _ = &()
  20         as &dyn Map<Key=u32,MapValue=u32>;
  21     //~^ ERROR E0038
  22 }