2022-11-19 21:11:00 +00:00
|
|
|
#![feature(type_ascription)]
|
|
|
|
|
2022-08-03 09:51:21 +00:00
|
|
|
fn main() {
|
2022-11-19 21:11:00 +00:00
|
|
|
type_ascribe!(2, n([u8; || 1]))
|
2022-08-03 09:51:21 +00:00
|
|
|
//~^ ERROR cannot find type `n` in this scope
|
|
|
|
//~| ERROR mismatched types
|
|
|
|
}
|