mirror of https://github.com/rust-lang/rust
26 lines
359 B
Rust
26 lines
359 B
Rust
// 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() {}
|