sample4.txt

interface Super {
    .super(): int;
}

struct Sub1() {
    as Super {
        ::super(): int -> 3;
    }

    .sub1(): bool -> true;
}

struct Sub2() {
    as Super {
        ::super(): int -> 5;
    }

    .sub2(): bool -> true;
}

fn accept_super(value: Super) {
    value.super();
}

fn accept_sub1(value: Sub1) {
    value.super();
    value.sub1();
}

fn call_super(super: Super, f: Super => void) {
    f(super);
}

fn call_sub1(sub1: Sub1, f: Sub1 => void) {
    f(sub1);
}

fn main(super: Super, sub1: Sub1, sub2: Sub2) {
    call_super(sub2, accept_sub1); // should be an error
    call_sub1(sub1, accept_super); // shouldn't be an error
    accept_super(sub1);
    let test = (x: int, y: bool) -> {};
    accept_test(test);
}

fn accept_test(test: (int, bool) => void) {}