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

   1 trait Foo {
   2     type Item;
   3 }
   4
   5 struct X;
   6
   7 impl Foo for X {
   8     type Item = bool;
   9 }
  10
  11 fn print_x(_: &dyn Foo<Item=bool>, extra: &str) {
  12     println!("{}", extra);
  13 }
  14
  15 fn main() {
  16     print_x(X);
  17     //~^ ERROR E0061
  18 }