mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

test: add test for #4257

Browse Source
This commit is contained in:
Eric 2021-08-30 21:09:21 +12:00 committed by Caleb Cartwright
parent d19f69cd71
commit 33d1368674
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
tests/source/issue_4257.rs Normal file
View File

@ -0,0 +1,13 @@
#![feature(generic_associated_types)]
#![allow(incomplete_features)]
trait Trait<T> {
type Type<'a> where T: 'a;
fn foo(x: &T) -> Self::Type<'_>;
}
impl<T> Trait<T> for () {
type Type<'a> where T: 'a = &'a T;
fn foo(x: &T) -> Self::Type<'_> {
x
}
}

18
tests/target/issue_4257.rs Normal file
View File

@ -0,0 +1,18 @@
#![feature(generic_associated_types)]
#![allow(incomplete_features)]
trait Trait<T> {
type Type<'a>
where
T: 'a;
fn foo(x: &T) -> Self::Type<'_>;
}
impl<T> Trait<T> for () {
type Type<'a>
where
T: 'a,
= &'a T;
fn foo(x: &T) -> Self::Type<'_> {
x
}
}