]>
git.proxmox.com Git - rustc.git/blob - src/test/ui/const-generics/issues/issue-72845.rs
1 #![feature(generic_const_exprs)]
2 #![feature(specialization)]
3 #![allow(incomplete_features)]
5 //--------------------------------------------------
15 //--------------------------------------------------
17 enum Predicate
<const B
: bool
> {}
21 impl Satisfied
for Predicate
<true> {}
23 //--------------------------------------------------
27 impl<T
: Type
> Spec1
for T
where Predicate
<{T::AT::C > 0}
>: Satisfied {}
31 //impl<T: Type > Spec2 for T where Predicate<{T::AT::C > 1}>: Satisfied {}
32 impl<T
: Type
> Spec2
for T
where Predicate
<true>: Satisfied {}
34 //--------------------------------------------------
40 impl<T
: Spec1
> Foo
for T
{
44 impl<T
: Spec2
> Foo
for T
{
45 //~^ ERROR conflicting implementations of trait