File tree 9 files changed +93
-0
lines changed
9 files changed +93
-0
lines changed Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#129262
2
+ //@ compile-flags: -Zvalidate-mir --edition=2018 --crate-type=lib -Copt-level=3
3
+
4
+ #![ feature( async_closure) ]
5
+
6
+ fn main ( ) { }
7
+
8
+ fn needs_fn_mut < T > ( mut x : impl FnMut ( ) -> T ) {
9
+ x ( ) ;
10
+ }
11
+
12
+ fn hello ( x : Ty ) {
13
+ needs_fn_mut ( async || {
14
+ x. hello ( ) ;
15
+ } ) ;
16
+ }
17
+
18
+ struct Ty ;
19
+ impl Ty {
20
+ fn hello ( self ) { }
21
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#129850
2
+
3
+ pub trait Foo2 {
4
+ fn bar < ' a : ' a > ( & ' a mut self ) -> impl Sized + use < ' static > ;
5
+ }
6
+
7
+ impl Foo2 for ( ) {
8
+ fn bar < ' a : ' a > ( & ' a mut self ) -> impl Sized + ' a { }
9
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130104
2
+
3
+ fn main ( ) {
4
+ let non_secure_function =
5
+ core:: mem:: transmute :: < fn ( ) -> _ , extern "C-cmse-nonsecure-call" fn ( ) -> _ > ;
6
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130310
2
+
3
+ use std:: marker:: PhantomData ;
4
+
5
+ #[ repr( C ) ]
6
+ struct A < T > {
7
+ a : * const A < A < T > > ,
8
+ p : PhantomData < T > ,
9
+ }
10
+
11
+ extern "C" {
12
+ fn f ( a : * const A < ( ) > ) ;
13
+ }
14
+
15
+ fn main ( ) { }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130346
2
+
3
+ #![ feature( non_lifetime_binders) ]
4
+ #![ allow( unused) ]
5
+
6
+ trait A < T > : Iterator < Item = T > { }
7
+
8
+ fn demo ( x : & mut impl for < U > A < U > ) {
9
+ let _: Option < u32 > = x. next ( ) ; // Removing this line stops the ICE
10
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130372
2
+
3
+ pub fn variadic_fn ( n : usize , mut args: ...) { }
4
+
5
+ reuse variadic_fn;
6
+
7
+ fn main ( ) {
8
+ variadic_fn ( ) ;
9
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130372
2
+
3
+ pub fn test_va_copy ( _: u64 , mut ap: ...) { }
4
+
5
+ pub fn main ( ) {
6
+ unsafe {
7
+ test_va_copy ( ) ;
8
+
9
+ call ( x) ;
10
+ }
11
+ }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130372
2
+
3
+ fn bar ( ) -> impl Fn ( ) {
4
+ wrap ( )
5
+ }
6
+
7
+ fn wrap ( ...: impl ...) -> impl Fn ( ) { }
Original file line number Diff line number Diff line change
1
+ //@ known-bug: rust-lang/rust#130399
2
+
3
+ fn elided ( main : & ( ) ) -> impl Sized + use < main > { }
4
+
5
+ fn main ( ) { }
You can’t perform that action at this time.
0 commit comments