acpa/tests/ok/simple-logic3.ac
2023-08-30 23:53:50 +08:00

32 lines
413 B
Plaintext

struct
{
struct A<x>()
{
struct AA<y>(){};
struct AB<y>()
{
struct ABA<z>()
{
};
};
};
struct B<x>()
{
struct BA<y>()
{
a = A<y>::AB<x>::ABA<y>();
};
struct BB<y>()
{
struct BBA<z>()
{
};
struct BBB<z>(p:z)
{
a = BA<z>();
};
};
};
struct C(delete){};
a = Fn<>()->A<C>::AB<B<C>>::ABA<C>{return B<B<C>>::BB<B<C>::BB<C>>::BBB<C>(admit<C>()).a.a;};
}main;