50 lines
909 B
Rust
50 lines
909 B
Rust
|
#![feature(generic_const_exprs)]
|
||
|
|
#![feature(specialization)]
|
||
|
|
#![allow(incomplete_features)]
|
||
|
|
|
||
|
|
//--------------------------------------------------
|
||
|
|
|
||
|
|
trait Depth {
|
||
|
|
const C: usize;
|
||
|
|
}
|
||
|
|
|
||
|
|
trait Type {
|
||
|
|
type AT: Depth;
|
||
|
|
}
|
||
|
|
|
||
|
|
//--------------------------------------------------
|
||
|
|
|
||
|
|
enum Predicate<const B: bool> {}
|
||
|
|
|
||
|
|
trait Satisfied {}
|
||
|
|
|
||
|
|
impl Satisfied for Predicate<true> {}
|
||
|
|
|
||
|
|
//--------------------------------------------------
|
||
|
|
|
||
|
|
trait Spec1 {}
|
||
|
|
|
||
|
|
impl<T: Type> Spec1 for T where Predicate<{T::AT::C > 0}>: Satisfied {}
|
||
|
|
|
||
|
|
trait Spec2 {}
|
||
|
|
|
||
|
|
//impl<T: Type > Spec2 for T where Predicate<{T::AT::C > 1}>: Satisfied {}
|
||
|
|
impl<T: Type > Spec2 for T where Predicate<true>: Satisfied {}
|
||
|
|
|
||
|
|
//--------------------------------------------------
|
||
|
|
|
||
|
|
trait Foo {
|
||
|
|
fn Bar();
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<T: Spec1> Foo for T {
|
||
|
|
default fn Bar() {}
|
||
|
|
}
|
||
|
|
|
||
|
|
impl<T: Spec2> Foo for T {
|
||
|
|
//~^ ERROR conflicting implementations of trait
|
||
|
|
fn Bar() {}
|
||
|
|
}
|
||
|
|
|
||
|
|
fn main() {}
|