File tree Expand file tree Collapse file tree 13 files changed +176
-0
lines changed Expand file tree Collapse file tree 13 files changed +176
-0
lines changed Original file line number Diff line number Diff line change 1+ //@ known-bug: #123765
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: #132767
2+
3+ trait Func {
4+ type Ret ;
5+ }
6+ impl < F : FnOnce ( ) -> R , R > Func for F {
7+ type Ret = R ;
8+ }
9+
10+ trait Id { }
11+ fn invalid_impl_trait ( ) -> impl Id { }
12+
13+ struct Foo < T : Func > {
14+ _func : T ,
15+ value : Option < <T as Func >:: Ret > ,
16+ }
17+
18+ fn main ( ) {
19+ let foo = Foo {
20+ _func : invalid_impl_trait,
21+ value : None ,
22+ } ;
23+ drop ( foo. value ) ;
24+ }
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+
4+ #![ feature( rust_cold_cc) ]
5+ pub extern "rust-cold" fn foo ( _: [ usize ; 3 ] ) { }
Original file line number Diff line number Diff line change 1+ //@ known-bug: #133056
2+
3+ pub enum ApiError { }
4+ pub struct TokioError {
5+ source : ApiError ,
6+ }
7+ pub enum Error {
8+ Api { b : bool } ,
9+ Ethereum ,
10+ Tokio { source : TokioError } ,
11+ }
12+
13+ mod assert {
14+ use std:: mem:: TransmuteFrom ;
15+
16+ pub fn is_transmutable < Src , Dst > ( )
17+ where
18+ Dst : TransmuteFrom < Src > ,
19+ {
20+ }
21+ }
22+
23+ fn test ( ) {
24+ type Dst = Error ;
25+ assert:: is_transmutable :: < Src , Dst > ( ) ;
26+ }
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: #133065
2+ //@compile-flags: -Zvalidate-mir -Zinline-mir -Zinline-mir-threshold=300
3+ trait Bar : Sized {
4+ fn bar ( self ) { }
5+ }
6+
7+ impl < T > Bar for T {
8+ fn bar ( ) {
9+ let _ = "Hello" . bytes ( ) . nth ( 3 ) ;
10+ }
11+ }
12+
13+ fn main ( ) {
14+ ( ) . bar ( ) ;
15+ }
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+ }
You can’t perform that action at this time.
0 commit comments