Sign in
fuchsia
/
third_party
/
rust
/
a7a6dedfe661a6d9d181afeb0fbaa894fcb7362b
/
.
/
src
/
test
/
ui
/
uninhabited
/
exhaustive-wo-nevertype-issue-51221.rs
blob: b59432078350ef94ca277a4ae7ece407557fa8bf [
file
] [
log
] [
blame
]
// check-pass
#![
feature
(
exhaustive_patterns
)]
enum
Void
{}
fn
main
()
{
let
a
:
Option
<
Void
>
=
None
;
let
None
=
a
;
}