1 // Regression test for issue #55001. Previously, we would incorrectly
2 // cache certain trait selection results when checking for blanket impls,
3 // resulting in an ICE when we tried to confirm the cached ParamCandidate
4 // against an obligation.
6 pub struct DefaultAllocator;
12 pub trait Distribution<T> {}
13 pub trait Allocator<N> {}
15 impl<T> Rand for T where Standard: Distribution<T> {}
17 impl<A> Distribution<Point<A>> for Standard
19 DefaultAllocator: Allocator<A>,
20 Standard: Distribution<A> {}
22 impl Distribution<Inner> for Standard {}
26 where DefaultAllocator: Allocator<N>