Add regression test for issue 100187

This commit is contained in:
Santiago Pastorino 2022-08-09 15:42:59 -03:00
parent f03ce30962
commit e6478a3724
No known key found for this signature in database
GPG Key ID: 8131A24E0C79EFAF

View File

@ -0,0 +1,12 @@
// check-pass
trait Trait<T> {
type Ty;
}
impl Trait<&u8> for () {
type Ty = ();
}
fn test<'a, 'b>() -> impl Trait<&'a u8, Ty = impl Sized + 'b> {}
fn main() {}