blob: ee8a4bb30489f8d0a15c7723573d34bd9bd7a0f9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
//@ known-bug: #140609
#![feature(with_negative_coherence)]
#![feature(generic_const_exprs)]
#![crate_type = "lib"]
trait Trait {}
struct A<const B: bool>;
trait C {}
impl<const D: u32> Trait for E<D> where A<{ D <= 2 }>: FnOnce(&isize) {}
struct E<const D: u32>;
impl<const D: u32> Trait for E<D> where A<{ D <= 2 }>: C {}
|
