// 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() {}