File tree 8 files changed +17
-0
lines changed
8 files changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -40,6 +40,9 @@ Rust MIR: a lowered representation of Rust. Also: an experiment!
40
40
#![ cfg_attr( stage0, feature( underscore_lifetimes) ) ]
41
41
#![ cfg_attr( stage0, feature( never_type) ) ]
42
42
#![ feature( inclusive_range_fields) ]
43
+ #![ feature( crate_visibility_modifier) ]
44
+ #![ feature( never_type) ]
45
+ #![ cfg_attr( stage0, feature( try_trait) ) ]
43
46
44
47
extern crate arena;
45
48
#[ macro_use]
Original file line number Diff line number Diff line change @@ -89,6 +89,7 @@ This API is completely unstable and subject to change.
89
89
#![ cfg_attr( stage0, feature( i128_type) ) ]
90
90
#![ cfg_attr( stage0, feature( never_type) ) ]
91
91
#![ feature( dyn_trait) ]
92
+ #![ feature( never_type) ]
92
93
93
94
#[ macro_use] extern crate log;
94
95
#[ macro_use] extern crate syntax;
Original file line number Diff line number Diff line change @@ -79,6 +79,7 @@ mod prim_bool { }
79
79
/// write:
80
80
///
81
81
/// ```
82
+ /// #![feature(never_type)]
82
83
/// # fn foo() -> u32 {
83
84
/// let x: ! = {
84
85
/// return 123
@@ -155,6 +156,7 @@ mod prim_bool { }
155
156
/// for example:
156
157
///
157
158
/// ```
159
+ /// #![feature(never_type)]
158
160
/// # use std::fmt;
159
161
/// # trait Debug {
160
162
/// # fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result;
Original file line number Diff line number Diff line change 11
11
// Test that a variable of type ! can coerce to another type.
12
12
13
13
// error-pattern:explicit
14
+
15
+ #![ feature( never_type) ]
16
+
14
17
fn main ( ) {
15
18
let x: ! = panic ! ( ) ;
16
19
let y: u32 = x;
Original file line number Diff line number Diff line change 12
12
13
13
// error-pattern:wowzers!
14
14
15
+ #![ feature( never_type) ]
15
16
#![ allow( unreachable_code) ]
16
17
17
18
fn foo ( x : !) -> ! {
Original file line number Diff line number Diff line change 11
11
// Test that we can explicitly cast ! to another type
12
12
13
13
// error-pattern:explicit
14
+
15
+ #![ feature( never_type) ]
16
+
14
17
fn main ( ) {
15
18
let x: ! = panic ! ( ) ;
16
19
let y: u32 = x as u32 ;
Original file line number Diff line number Diff line change 12
12
13
13
// error-pattern:kapow!
14
14
15
+ #![ feature( never_type) ]
16
+
15
17
trait Foo {
16
18
type Wow ;
17
19
Original file line number Diff line number Diff line change 12
12
13
13
// error-pattern:oh no!
14
14
15
+ #![ feature( never_type) ]
16
+
15
17
struct Wub ;
16
18
17
19
impl PartialEq < !> for Wub {
You can’t perform that action at this time.
0 commit comments