| error: expected type, found reserved keyword `box` |
| --> $DIR/issue-47666.rs:2:25 |
| | |
| LL | let _ = Option:Some(vec![0, 1]); |
| | - ^^^^^^^^^^ |
| | | | |
| | | expected type |
| | | in this macro invocation |
| | | this macro call doesn't expand to a type |
| | help: maybe write a path separator here: `::` |
| | |
| = note: `#![feature(type_ascription)]` lets you annotate an expression with a type: `<expr>: <type>` |
| = note: for more information, see https://github.com/rust-lang/rust/issues/23416 |
| = note: this warning originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info) |
| |
| error: aborting due to previous error |
| |