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
32
33
34
35
|
//@ check-pass
// https://github.com/rust-lang/rust/issues/55001
#![crate_name="foo"]
// 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() {}
|
