Enable a test for correct treatment of Sized?

This commit is contained in:
Nick Cameron 2014-09-03 16:50:18 +12:00
parent dfbd4669cd
commit 69a9d23d58
1 changed files with 3 additions and 2 deletions

View File

@ -68,14 +68,15 @@ impl<Sized? X: T> T1<X> for S3<X> { //ERROR instantiating a type parameter with
trait T2<Z> {
}
impl<Sized? X> T2<X> for S3<X> { //ERROR instantiating a type parameter with an incompatible type `X
*/
// impl - struct
trait T3<Sized? Z> {
}
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() {
}