src/test/ui/generic-associated-types/bugs/issue-87755.rs

   1 // check-fail
   2
   3 // This should pass.
   4
   5 #![feature(generic_associated_types)]
   6
   7 use std::fmt::Debug;
   8
   9 trait Foo {
  10     type Ass where Self::Ass: Debug;
  11 }
  12
  13 #[derive(Debug)]
  14 struct Bar;
  15
  16 impl Foo for Bar {
  17     type Ass = Bar;
  18     //~^ overflow
  19 }
  20
  21 fn main() {}