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