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