auto merge of #16956 : nick29581/rust/unsized-test-1, r=alexcrichton
I landed this disabled, but it now passes since @pcwalton implemented RFC 11 r?
This commit is contained in:
commit
8a8986776d
@ -68,14 +68,15 @@ impl<Sized? X: T> T1<X> for S3<X> { //ERROR instantiating a type parameter with
|
|||||||
trait T2<Z> {
|
trait T2<Z> {
|
||||||
}
|
}
|
||||||
impl<Sized? X> T2<X> for S3<X> { //ERROR instantiating a type parameter with an incompatible type `X
|
impl<Sized? X> T2<X> for S3<X> { //ERROR instantiating a type parameter with an incompatible type `X
|
||||||
|
*/
|
||||||
|
|
||||||
// impl - struct
|
// impl - struct
|
||||||
trait T3<Sized? Z> {
|
trait T3<Sized? Z> {
|
||||||
}
|
}
|
||||||
struct S4<Y>;
|
struct S4<Y>;
|
||||||
impl<Sized? X> T3<X> for S4<X> { //ERROR instantiating a type parameter with an incompatible type `X
|
impl<Sized? X> T3<X> for S4<X> { //~ ERROR instantiating a type parameter with an incompatible type
|
||||||
}
|
}
|
||||||
*/
|
|
||||||
|
|
||||||
pub fn main() {
|
pub fn main() {
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user