//! returns: 1
//! Test boolean operators with bool-returning main.

@default fn main() -> bool {
    let t: bool = true;
    let f: bool = false;

    // Basic identity.
    if not t {
        return false;
    }
    if f {
        return false;
    }

    // Negation.
    if not (not f) {
        return false;
    }
    if not t {
        return false;
    }

    // And.
    if not (t and t) {
        return false;
    }
    if t and f {
        return false;
    }
    if f and t {
        return false;
    }

    // Or.
    if not (t or f) {
        return false;
    }
    if not (f or t) {
        return false;
    }
    if f or f {
        return false;
    }

    // Mixed.
    if not ((t and t) or f) {
        return false;
    }
    if not ((f or t) and (t or f)) {
        return false;
    }

    return true;
}