path: root/compiler/tests/verifier/typedef_recursive.good

typedef A = (
    A^ next,
);

typedef B1 = (
    B2^ other,
);

typedef B2 = (
    B1^ other,
);