diff options
Diffstat (limited to 'src/test/ui/associated-types/normalization-probe-cycle.rs')
-rw-r--r-- | src/test/ui/associated-types/normalization-probe-cycle.rs | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/normalization-probe-cycle.rs b/src/test/ui/associated-types/normalization-probe-cycle.rs new file mode 100644 index 000000000..9c1a488e9 --- /dev/null +++ b/src/test/ui/associated-types/normalization-probe-cycle.rs @@ -0,0 +1,25 @@ +// Regression test for #77656 + +// check-pass + +trait Value: PartialOrd {} + +impl<T: PartialOrd> Value for T {} + +trait Distance +where + Self: PartialOrd<<Self as Distance>::Value>, + Self: PartialOrd, +{ + type Value: Value; +} + +impl<T: Value> Distance for T { + type Value = T; +} + +trait Proximity<T = Self> { + type Distance: Distance; +} + +fn main() {} |