diff options
Diffstat (limited to 'src/test/ui/issues/issue-56229.rs')
-rw-r--r-- | src/test/ui/issues/issue-56229.rs | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/issues/issue-56229.rs b/src/test/ui/issues/issue-56229.rs deleted file mode 100644 index 9e5897b98..000000000 --- a/src/test/ui/issues/issue-56229.rs +++ /dev/null @@ -1,35 +0,0 @@ -// check-pass - -trait Mirror { - type Other; -} - -#[derive(Debug)] -struct Even(usize); -struct Odd; - -impl Mirror for Even { - type Other = Odd; -} - -impl Mirror for Odd { - type Other = Even; -} - -trait Dyn<T: Mirror>: AsRef<<T as Mirror>::Other> {} - -impl Dyn<Odd> for Even {} - -impl AsRef<Even> for Even { - fn as_ref(&self) -> &Even { - self - } -} - -fn code<T: Mirror>(d: &dyn Dyn<T>) -> &T::Other { - d.as_ref() -} - -fn main() { - println!("{:?}", code(&Even(22))); -} |