Add a test for #3006

This commit is contained in:
Seiichi Uchida 2018-09-19 22:20:42 +09:00
parent 829dbfabe9
commit 8021b29405
2 changed files with 18 additions and 0 deletions

View File

@ -97,3 +97,12 @@ trait FooBar = Foo
auto trait Example {}
pub auto trait PubExample {}
pub unsafe auto trait PubUnsafeExample {}
// #3006
trait Foo<'a> {
type Bar< 'a >;
}
impl<'a> Foo<'a> for i32 {
type Bar< 'a > = i32;
}

View File

@ -135,3 +135,12 @@ trait FooBar = Foo
auto trait Example {}
pub auto trait PubExample {}
pub unsafe auto trait PubUnsafeExample {}
// #3006
trait Foo<'a> {
type Bar<'a>;
}
impl<'a> Foo<'a> for i32 {
type Bar<'a> = i32;
}