rust/tests/crashes/107362.rs
2024-04-18 18:55:20 +02:00

44 lines
759 B
Rust

//@ known-bug: #107362
//@ compile-flags: -Cdebuginfo=2
pub trait Functor
{
type With<T>: Functor;
}
pub struct IdFunctor<T>(T);
impl<T> Functor for IdFunctor<T> {
type With<T2> = IdFunctor<T2>;
}
impl<T> Functor for Vec<T> {
type With<T2> = Vec<T2> ;
}
pub struct Compose<F1, F2, T>(F1::With<F2::With<T>>)
where
F1: Functor + ?Sized,
F2: Functor + ?Sized;
impl<F1, F2, T> Functor for Compose<F1, F2, T>
where
F1: Functor + ?Sized,
F2: Functor + ?Sized
{
type With<T2> = F1::With<F2::With<T2>> ;
}
pub enum Value<F>
where
F: Functor + ?Sized,
{
SignedInt(*mut F::With<i64>),
Array(*mut Value<Compose<F, Vec<()>, ()>>),
}
fn main() {
let x: Value<IdFunctor<()>> = Value::SignedInt(&mut IdFunctor(1));
}