blob: 31de418be5f70c92c7eee114f51bc41268588bf4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
fn main() {
type Predicate = fn<'a>(&'a str) -> bool;
//~^ ERROR function pointer types may not have generic parameters
type Identity = fn<T>(T) -> T;
//~^ ERROR function pointer types may not have generic parameters
//~| ERROR cannot find type `T` in this scope
//~| ERROR cannot find type `T` in this scope
let _: fn<const N: usize, 'e, Q, 'f>();
//~^ ERROR function pointer types may not have generic parameters
let _: for<'outer> fn<'inner>();
//~^ ERROR function pointer types may not have generic parameters
let _: for<> fn<'r>();
//~^ ERROR function pointer types may not have generic parameters
type Hmm = fn<>();
//~^ ERROR function pointer types may not have generic parameters
let _: extern fn<'a: 'static>();
//~^ ERROR function pointer types may not have generic parameters
//~| ERROR lifetime bounds cannot be used in this context
let _: for<'any> extern "C" fn<'u>();
//~^ ERROR function pointer types may not have generic parameters
type QuiteBroken = fn<const>();
//~^ ERROR expected identifier, found `>`
}
|
