blob: f6c7f9a3d082c674d09b20d0b1ea54c824565981 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
// Regression test for issue #55001. Previously, we would incorrectly
// cache certain trait selection results when checking for blanket impls,
// resulting in an ICE when we tried to confirm the cached ParamCandidate
// against an obligation.
pub struct DefaultAllocator;
pub struct Standard;
pub struct Inner;
pub trait Rand {}
pub trait Distribution<T> {}
pub trait Allocator<N> {}
impl<T> Rand for T where Standard: Distribution<T> {}
impl<A> Distribution<Point<A>> for Standard
where
DefaultAllocator: Allocator<A>,
Standard: Distribution<A> {}
impl Distribution<Inner> for Standard {}
pub struct Point<N>
where DefaultAllocator: Allocator<N>
{
field: N
}
fn main() {}
|
