File tree 2 files changed +0
-3
lines changed
2 files changed +0
-3
lines changed Original file line number Diff line number Diff line change 10
10
11
11
trait Tr { }
12
12
type Huh < T > where T : Tr = isize ; //~ ERROR type parameter `T` is unused
13
- //~| WARNING where clauses are not enforced in type aliases
14
13
fn main ( ) { }
Original file line number Diff line number Diff line change @@ -58,7 +58,6 @@ mod traits {
58
58
pub trait PubTr { }
59
59
60
60
pub type Alias < T : PrivTr > = T ; //~ ERROR private trait `traits::PrivTr` in public interface
61
- //~^ WARNING bounds on generic parameters are not enforced in type aliases
62
61
//~| WARNING hard error
63
62
pub trait Tr1 : PrivTr { } //~ ERROR private trait `traits::PrivTr` in public interface
64
63
//~^ WARNING hard error
@@ -85,7 +84,6 @@ mod traits_where {
85
84
pub type Alias < T > where T : PrivTr = T ;
86
85
//~^ ERROR private trait `traits_where::PrivTr` in public interface
87
86
//~| WARNING hard error
88
- //~| WARNING where clauses are not enforced in type aliases
89
87
pub trait Tr2 < T > where T : PrivTr { }
90
88
//~^ ERROR private trait `traits_where::PrivTr` in public interface
91
89
//~| WARNING hard error
You can’t perform that action at this time.
0 commit comments