File tree Expand file tree Collapse file tree 3 files changed +12
-10
lines changed Expand file tree Collapse file tree 3 files changed +12
-10
lines changed Original file line number Diff line number Diff line change 6
6
/// Aux crate for unstable impl codegen test.
7
7
8
8
#[ stable( feature = "a" , since = "1.1.1" ) ]
9
- trait Trait {
9
+ pub trait Trait {
10
+ #[ stable( feature = "a" , since = "1.1.1" ) ]
10
11
fn method ( & self ) ;
11
12
}
12
13
13
14
#[ unstable_feature_bound( foo) ]
14
- impl Trait for T {
15
- // FIXME: this line above failed with cannot find type `T` in this scope
15
+ # [ unstable ( feature = "foo" , issue = "none" ) ]
16
+ impl < T > Trait for T {
16
17
fn method ( & self ) {
17
18
println ! ( "hi" ) ;
18
19
}
Original file line number Diff line number Diff line change 1
1
//@ aux-build:unstable_impl_codegen_aux1.rs
2
-
3
- #![ allow( internal_features) ]
4
- #![ feature( staged_api) ]
5
- #![ feature( impl_stability) ]
6
- #![ stable( feature = "a" , since = "1.1.1" ) ]
7
- #[ feature( foo) ]
2
+ #![ feature( foo) ]
8
3
9
4
extern crate unstable_impl_codegen_aux1 as aux;
5
+ use aux:: Trait ;
10
6
11
7
/// Upstream crate for unstable impl codegen test
12
8
/// that depends on aux crate in
13
9
/// unstable_impl_codegen_aux1.rs
14
10
15
- fn foo < T > ( a : T ) {
11
+ pub fn foo < T : Trait > ( a : T ) {
16
12
a. method ( ) ;
17
13
}
18
14
Original file line number Diff line number Diff line change 1
1
//@ aux-build:unstable_impl_codegen_aux2.rs
2
+ //@ check-pass
3
+ #![ feature( foo) ]
2
4
3
5
/// Downstream crate for unstable impl codegen test
4
6
/// that depends on upstream crate in
5
7
/// unstable_impl_codegen_aux2.rs
6
8
9
+ extern crate unstable_impl_codegen_aux2 as aux;
10
+ use aux:: foo;
11
+
7
12
fn main ( ) {
8
13
foo ( 1_u8 ) ;
9
14
}
You can’t perform that action at this time.
0 commit comments