File tree Expand file tree Collapse file tree 3 files changed +11
-8
lines changed Expand file tree Collapse file tree 3 files changed +11
-8
lines changed Original file line number Diff line number Diff line change 1- 27af5175497936ea3413bef5816e7c0172514b9c
1+ 51ea9bb29b07d76c5a7167d054b54f4eb7f5b44e
Original file line number Diff line number Diff line change 44#![ feature( never_type) ]
55#![ allow( unused, invalid_value) ]
66
7- enum Void { }
7+ mod m {
8+ enum VoidI { }
9+ pub struct Void ( VoidI ) ;
810
9- fn f ( v : Void ) -> ! {
10- match v { } //~ ERROR entering unreachable code
11+ pub fn f ( v : Void ) -> ! {
12+ match v. 0 { } //~ ERROR entering unreachable code
13+ }
1114}
1215
1316fn main ( ) {
14- let v: Void = unsafe {
15- std:: mem:: transmute :: < ( ) , Void > ( ( ) )
17+ let v = unsafe {
18+ std:: mem:: transmute :: < ( ) , m :: Void > ( ( ) )
1619 } ;
17- f ( v) ; //~ inside `main`
20+ m :: f ( v) ; //~ inside `main`
1821}
Original file line number Diff line number Diff line change @@ -29,7 +29,7 @@ fn never() -> Never {
2929}
3030
3131async fn includes_never ( crash : bool , x : u32 ) -> u32 {
32- let mut result = async { x * x } . await ;
32+ let result = async { x * x } . await ;
3333 if !crash {
3434 return result;
3535 }
You can’t perform that action at this time.
0 commit comments