src/test/ui/associated-types/issue-44153.rs

   1 pub trait Array {
   2     type Element;
   3 }
   4
   5 pub trait Visit {
   6     fn visit() {}
   7 }
   8
   9 impl Array for () {
  10     type Element = ();
  11 }
  12
  13 impl<'a> Visit for () where
  14     (): Array<Element=&'a ()>,
  15 {}
  16
  17 fn main() {
  18     <() as Visit>::visit(); //~ ERROR: type mismatch resolving
  19 }