This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 3 files changed +28
-12
lines changed Expand file tree Collapse file tree 3 files changed +28
-12
lines changed Original file line number Diff line number Diff line change 1+ //@ known-bug: #126268
2+ #![ feature( min_specialization) ]
3+
4+ trait Trait { }
5+
6+ impl < T > Trait for T { }
7+
8+ trait Data {
9+ type Elem ;
10+ }
11+
12+ struct DatasetIter < ' a , R : Data > {
13+ data : & ' a R :: Elem ,
14+ }
15+
16+ pub struct ArrayBase { }
17+
18+ impl < ' a > Trait for DatasetIter < ' a , ArrayBase > { }
Original file line number Diff line number Diff line change 11//@ known-bug: #131050
22//@ compile-flags: --edition=2021
33
4- fn query_as < D > ( ) { }
4+ use std :: future :: Future ;
55
6- async fn create_user ( ) {
7- query_as ( ) ;
8- }
6+ fn invalid_future ( ) -> impl Future { }
97
10- async fn post_user_filter ( ) -> impl Filter {
11- AndThen ( & ( ) , || async { create_user ( ) . await } )
8+ fn create_complex_future ( ) -> impl Future < Output = impl ReturnsSend > {
9+ async { & || async { invalid_future ( ) . await } }
1210}
1311
14- async fn get_app ( ) -> impl Send {
15- post_user_filter ( ) . await
12+ fn coerce_impl_trait ( ) -> impl Future < Output = impl Send > {
13+ create_complex_future ( )
1614}
1715
18- trait Filter { }
19-
20- struct AndThen < T , F > ( T , F ) ;
16+ trait ReturnsSend { }
2117
22- impl < T , F , R > Filter for AndThen < T , F >
18+ impl < F , R > ReturnsSend for F
2319where
2420 F : Fn ( ) -> R ,
2521 R : Send ,
Original file line number Diff line number Diff line change 1+ //@ known-bug: #132126
2+ trait UnsafeCopy where Self : use < Self > { }
You can’t perform that action at this time.
0 commit comments