File tree Expand file tree Collapse file tree 8 files changed +17
-0
lines changed Expand file tree Collapse file tree 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!
4040#![ cfg_attr( stage0, feature( underscore_lifetimes) ) ]
4141#![ cfg_attr( stage0, feature( never_type) ) ]
4242#![ feature( inclusive_range_fields) ]
43+ #![ feature( crate_visibility_modifier) ]
44+ #![ feature( never_type) ]
45+ #![ cfg_attr( stage0, feature( try_trait) ) ]
4346
4447extern crate arena;
4548#[ 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.
8989#![ cfg_attr( stage0, feature( i128_type) ) ]
9090#![ cfg_attr( stage0, feature( never_type) ) ]
9191#![ feature( dyn_trait) ]
92+ #![ feature( never_type) ]
9293
9394#[ macro_use] extern crate log;
9495#[ macro_use] extern crate syntax;
Original file line number Diff line number Diff line change @@ -79,6 +79,7 @@ mod prim_bool { }
7979/// write:
8080///
8181/// ```
82+ /// #![feature(never_type)]
8283/// # fn foo() -> u32 {
8384/// let x: ! = {
8485/// return 123
@@ -155,6 +156,7 @@ mod prim_bool { }
155156/// for example:
156157///
157158/// ```
159+ /// #![feature(never_type)]
158160/// # use std::fmt;
159161/// # trait Debug {
160162/// # fn fmt(&self, formatter: &mut fmt::Formatter) -> fmt::Result;
Original file line number Diff line number Diff line change 1111// Test that a variable of type ! can coerce to another type.
1212
1313// error-pattern:explicit
14+
15+ #![ feature( never_type) ]
16+
1417fn main ( ) {
1518 let x: ! = panic ! ( ) ;
1619 let y: u32 = x;
Original file line number Diff line number Diff line change 1212
1313// error-pattern:wowzers!
1414
15+ #![ feature( never_type) ]
1516#![ allow( unreachable_code) ]
1617
1718fn foo ( x : !) -> ! {
Original file line number Diff line number Diff line change 1111// Test that we can explicitly cast ! to another type
1212
1313// error-pattern:explicit
14+
15+ #![ feature( never_type) ]
16+
1417fn main ( ) {
1518 let x: ! = panic ! ( ) ;
1619 let y: u32 = x as u32 ;
Original file line number Diff line number Diff line change 1212
1313// error-pattern:kapow!
1414
15+ #![ feature( never_type) ]
16+
1517trait Foo {
1618 type Wow ;
1719
Original file line number Diff line number Diff line change 1212
1313// error-pattern:oh no!
1414
15+ #![ feature( never_type) ]
16+
1517struct Wub ;
1618
1719impl PartialEq < !> for Wub {
You can’t perform that action at this time.
0 commit comments