File tree 10 files changed +112
-0
lines changed
10 files changed +112
-0
lines changed Original file line number Diff line number Diff line change
1
+ //@ known-bug: #132765
2
+
3
+ trait LendingIterator {
4
+ type Item < ' q > ;
5
+ fn for_each ( & self , _f : Box < fn ( Self :: Item < ' _ > ) > ) { }
6
+ }
7
+
8
+ fn f ( _: ( ) ) { }
9
+
10
+ fn main ( ) {
11
+ LendingIterator :: for_each ( & ( ) , f) ;
12
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #132766
2
+
3
+ trait Trait { }
4
+ impl < ' a > Trait for ( ) {
5
+ fn pass2 < ' a > ( ) -> impl Trait2 { }
6
+ }
7
+
8
+ trait Trait2 { }
9
+ impl Trait2 for ( ) { }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #132882
2
+
3
+ use std:: ops:: Add ;
4
+
5
+ pub trait Numoid
6
+ where
7
+ for < N : Numoid > & ' a Self : Add < Self > ,
8
+ {
9
+ }
10
+
11
+ pub fn compute < N : Numoid > ( a : N ) -> N {
12
+ & a + a
13
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #132981
2
+ //@compile-flags: -Clink-dead-code=true --crate-type lib
3
+ //@ only-x86_64
4
+
5
+ #![ feature( rust_cold_cc) ]
6
+ pub extern "rust-cold" fn foo ( _: [ usize ; 3 ] ) { }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #133063
2
+
3
+ fn foo ( x : !) {
4
+ match x {
5
+ ( ! | !) if false => { }
6
+ _ => { }
7
+ }
8
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #133066
2
+ trait Owner {
3
+ const C <const N : u32 >: u32 ;
4
+ }
5
+
6
+ impl Owner for ( ) { ; }
7
+
8
+ fn take0 < const N : u64 > ( _: impl Owner < C < N > = { N } > ) { }
9
+
10
+ fn main ( ) {
11
+ take0 :: < f32 , > ( ( ) ) ;
12
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #133199
2
+ //@ aux-build: aux133199.rs
3
+
4
+ extern crate aux133199;
5
+
6
+ use aux133199:: FixedBitSet ;
7
+
8
+ fn main ( ) {
9
+ FixedBitSet :: < 7 > :: new ( ) ;
10
+ //~^ ERROR
11
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #133275
2
+ #![ feature( const_trait_impl) ]
3
+ #![ feature( associated_type_defaults) ]
4
+
5
+ #[ const_trait]
6
+ trait Foo3 < T >
7
+ where
8
+ Self :: Baz : Clone ,
9
+ {
10
+ type Baz = T ;
11
+ }
12
+
13
+ pub fn main ( ) { }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: #133275
2
+ #![ feature( const_trait_impl) ]
3
+ #[ const_trait]
4
+ pub trait Owo < X = <IntEnum as Uwu >:: T > { }
5
+
6
+ #[ const_trait]
7
+ trait Foo3 < T >
8
+ where
9
+ Self :: Bar : Clone ,
10
+ Self :: Baz : Clone ,
11
+ {
12
+ type Bar = Vec < Self :: Baz > ;
13
+ type Baz = T ;
14
+ //~^ ERROR the trait bound `T: Clone` is not satisfied
15
+ }
Original file line number Diff line number Diff line change
1
+ #![ allow( incomplete_features) ]
2
+ #![ feature( generic_const_exprs) ]
3
+
4
+ pub struct FixedBitSet < const N : usize > ;
5
+
6
+ impl < const N : usize > FixedBitSet < N >
7
+ where
8
+ [ u8 ; N . div_ceil ( 8 ) ] : Sized ,
9
+ {
10
+ pub fn new ( ) -> Self {
11
+ todo ! ( )
12
+ }
13
+ }
You can’t perform that action at this time.
0 commit comments