blob: a709e34b5014cb0779a5125dd8330805343f669f (
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
32
33
|
// Here we check that type ascription is syntactically invalid when
// not in the top position of an ascribing `let` binding or function parameter.
// This has no effect.
// We include it to demonstrate that this is the case:
#![feature(type_ascription)]
fn main() {}
fn _ok() {
let _a @ _b: u8 = 0; // OK.
fn _f(_a @ _b: u8) {} // OK.
}
#[cfg(FALSE)]
fn case_1() {
let a: u8 @ b = 0;
//~^ ERROR expected one of `!`
}
#[cfg(FALSE)]
fn case_2() {
let a @ (b: u8);
//~^ ERROR expected one of `!`
//~| ERROR expected one of `)`
}
#[cfg(FALSE)]
fn case_3() {
let a: T1 @ Outer(b: T2);
//~^ ERROR expected one of `!`
}
|
