diff options
Diffstat (limited to 'src/test/ui/issues/issue-57156.rs')
-rw-r--r-- | src/test/ui/issues/issue-57156.rs | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/src/test/ui/issues/issue-57156.rs b/src/test/ui/issues/issue-57156.rs deleted file mode 100644 index 9f5ec9f27..000000000 --- a/src/test/ui/issues/issue-57156.rs +++ /dev/null @@ -1,23 +0,0 @@ -// check-pass - -trait Foo<Args> { - type Output; -} - -trait Bar<'a, T>: for<'s> Foo<&'s T, Output=bool> { - fn cb(&self) -> Box<dyn Bar<'a, T, Output=bool>>; -} - -impl<'s> Foo<&'s ()> for () { - type Output = bool; -} - -impl<'a> Bar<'a, ()> for () { - fn cb(&self) -> Box<dyn Bar<'a, (), Output=bool>> { - Box::new(*self) - } -} - -fn main() { - let _t = ().cb(); -} |