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

   1 // Regression test for the ICE described in #84768.
   2
   3 #![feature(fn_traits)]
   4 #![crate_type="lib"]
   5
   6 fn transform_mut<F>(f: F) where F: for<'b> FnOnce(&'b mut u8) {
   7     <F as FnOnce(&mut u8)>::call_once(f, 1)
   8     //~^ ERROR: associated type bindings are not allowed here [E0229]
   9     //~| ERROR: mismatched types [E0308]
  10 }