summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-37291/auxiliary/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-37291/auxiliary/lib.rs')
-rw-r--r--src/test/ui/issues/issue-37291/auxiliary/lib.rs42
1 files changed, 0 insertions, 42 deletions
diff --git a/src/test/ui/issues/issue-37291/auxiliary/lib.rs b/src/test/ui/issues/issue-37291/auxiliary/lib.rs
deleted file mode 100644
index 1b163ee13..000000000
--- a/src/test/ui/issues/issue-37291/auxiliary/lib.rs
+++ /dev/null
@@ -1,42 +0,0 @@
-#![crate_type = "lib"]
-
-use std::ops::Mul;
-
-pub trait A {}
-pub trait B {
- type AT: A;
-}
-pub trait C {
- type BT: B;
-}
-
-pub struct AV;
-impl A for AV {}
-
-pub struct BV;
-impl B for BV {
- type AT = AV;
-}
-
-pub struct CV;
-impl C for CV {
- type BT = BV;
-}
-
-pub struct WrapperB<T>(pub T);
-pub struct WrapperC<T>(pub T);
-
-impl<C1> Mul<WrapperB<<C1::BT as B>::AT>> for WrapperC<C1>
- where C1: C
-{
- type Output = u8;
- fn mul(self, _: WrapperB<<C1::BT as B>::AT>) -> Self::Output {
- loop {}
- }
-}
-impl<C1> Mul<WrapperC<C1>> for WrapperC<C1> {
- type Output = u8;
- fn mul(self, _: WrapperC<C1>) -> Self::Output {
- loop {}
- }
-}