blob: 5140422e38492ae06805e31f1b457f62ee16d581 [file] [log] [blame] [edit]
pub struct Out<A, B = ()> {
a: A,
b: B,
}
pub struct First<In = ()> {
in_: In,
}
pub struct Second;
// Out<First<Second>>
pub fn alef() -> Out<First<Second>> {
loop {}
}
pub fn bet() -> Out<First, Second> {
loop {}
}