44 lines
759 B
Rust
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));
|
||
|
|
}
|