src/test/ui/typeck/issue-83693.rs

   1 // Regression test for the ICE described in #83693.
   2
   3 #![feature(fn_traits)]
   4 #![crate_type="lib"]
   5
   6 impl F {
   7 //~^ ERROR: cannot find type `F` in this scope [E0412]
   8     fn call() {
   9         <Self as Fn(&TestResult)>::call
  10         //~^ ERROR: cannot find type `TestResult` in this scope [E0412]
  11         //~| associated type bindings are not allowed here [E0229]
  12     }
  13 }
  14
  15 fn call() {
  16     <x as Fn(&usize)>::call
  17     //~^ ERROR: cannot find type `x` in this scope [E0412]
  18     //~| ERROR: associated type bindings are not allowed here [E0229]
  19 }