Sign in
fuchsia
/
third_party
/
rust
/
20d43d03dd27568f609d621ce44673393e838892
/
.
/
src
/
test
/
ui
/
nll
/
user-annotations
/
downcast-infer.rs
blob: 3efea7136307ce01a181879fd0dd8453284481c5 [
file
] [
log
] [
blame
]
// build-pass (FIXME(62277): could be 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
)))
=>
(),
_
=>
(),
}
}