tests/ui/nll/user-annotations/downcast-infer.rs


1
2
3
4
5
6
7
8
9
10
11

// check-pass

// Check that we don't try to downcast `_` when type-checking the annotation.
fn main() {
    let x = Some(Some(Some(1)));

    match x {
        Some::<Option<_>>(Some(Some(v))) => (),
        _ => (),
    }
}