[rustc.git] / src / test / rustdoc / issue-55001.rs

// 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() {}
Commit	Line	Data
13cf67c4 XL	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.
	5
	6	pub struct DefaultAllocator;
	7	pub struct Standard;
	8	pub struct Inner;
	9
	10	pub trait Rand {}
	11
	12	pub trait Distribution<T> {}
	13	pub trait Allocator<N> {}
	14
	15	impl<T> Rand for T where Standard: Distribution<T> {}
	16
	17	impl<A> Distribution<Point<A>> for Standard
	18	where
	19	DefaultAllocator: Allocator<A>,
	20	Standard: Distribution<A> {}
	21
	22	impl Distribution<Inner> for Standard {}
	23
	24
	25	pub struct Point<N>
	26	where DefaultAllocator: Allocator<N>
	27	{
	28	field: N
	29	}
	30
	31	fn main() {}