File tree 5 files changed +17
-24
lines changed
5 files changed +17
-24
lines changed Original file line number Diff line number Diff line change
1
+ #![ cfg_attr( bootstrap, feature( trait_upcasting) ) ]
1
2
#![ feature( rustc_private) ]
2
3
#![ feature( cell_update) ]
3
4
#![ feature( float_gamma) ]
9
10
#![ feature( yeet_expr) ]
10
11
#![ feature( nonzero_ops) ]
11
12
#![ feature( let_chains) ]
12
- #![ feature( trait_upcasting) ]
13
13
#![ feature( strict_overflow_ops) ]
14
14
#![ feature( pointer_is_aligned_to) ]
15
15
#![ feature( unqualified_local_imports) ]
Original file line number Diff line number Diff line change 1
1
// Validation stops this too early.
2
2
//@compile-flags: -Zmiri-disable-validation
3
3
4
- #![ feature( trait_upcasting) ]
5
- #![ allow( incomplete_features) ]
6
-
7
4
trait Foo : PartialEq < i32 > + std:: fmt:: Debug + Send + Sync {
8
5
#[ allow( dead_code) ]
9
6
fn a ( & self ) -> i32 {
Original file line number Diff line number Diff line change 2
2
3
3
fn test_nil ( ) {
4
4
assert_eq ! ( ( ) , ( ) ) ;
5
- assert ! ( ( !( ( ) != ( ) ) ) ) ;
6
- assert ! ( ( !( ( ) < ( ) ) ) ) ;
7
- assert ! ( ( ( ) <= ( ) ) ) ;
8
- assert ! ( ( !( ( ) > ( ) ) ) ) ;
9
- assert ! ( ( ( ) >= ( ) ) ) ;
5
+ assert ! ( !( ( ) != ( ) ) ) ;
6
+ assert ! ( !( ( ) < ( ) ) ) ;
7
+ assert ! ( ( ) <= ( ) ) ;
8
+ assert ! ( !( ( ) > ( ) ) ) ;
9
+ assert ! ( ( ) >= ( ) ) ;
10
10
}
11
11
12
12
fn test_bool ( ) {
13
- assert ! ( ( !( true < false ) ) ) ;
14
- assert ! ( ( !( true <= false ) ) ) ;
15
- assert ! ( ( true > false ) ) ;
16
- assert ! ( ( true >= false ) ) ;
13
+ assert ! ( !( true < false ) ) ;
14
+ assert ! ( !( true <= false ) ) ;
15
+ assert ! ( true > false ) ;
16
+ assert ! ( true >= false ) ;
17
17
18
- assert ! ( ( false < true ) ) ;
19
- assert ! ( ( false <= true ) ) ;
20
- assert ! ( ( !( false > true ) ) ) ;
21
- assert ! ( ( !( false >= true ) ) ) ;
18
+ assert ! ( false < true ) ;
19
+ assert ! ( false <= true ) ;
20
+ assert ! ( !( false > true ) ) ;
21
+ assert ! ( !( false >= true ) ) ;
22
22
23
23
// Bools support bitwise binops
24
24
assert_eq ! ( false & false , false ) ;
@@ -65,9 +65,9 @@ fn test_class() {
65
65
66
66
assert_eq ! ( q, r) ;
67
67
r. y = 17 ;
68
- assert ! ( ( r. y != q. y) ) ;
68
+ assert ! ( r. y != q. y) ;
69
69
assert_eq ! ( r. y, 17 ) ;
70
- assert ! ( ( q != r) ) ;
70
+ assert ! ( q != r) ;
71
71
}
72
72
73
73
pub fn main ( ) {
Original file line number Diff line number Diff line change 1
1
//@revisions: stack tree
2
2
//@[tree]compile-flags: -Zmiri-tree-borrows
3
- #![ allow( incomplete_features) ] // for trait upcasting
4
- #![ feature( allocator_api, trait_upcasting) ]
3
+ #![ feature( allocator_api) ]
5
4
6
5
use std:: alloc:: { AllocError , Allocator , Layout } ;
7
6
use std:: cell:: Cell ;
Original file line number Diff line number Diff line change 1
- #![ feature( trait_upcasting) ]
2
- #![ allow( incomplete_features) ]
3
-
4
1
use std:: fmt;
5
2
6
3
fn main ( ) {
You can’t perform that action at this time.
0 commit comments