struct F { x: Int }
struct G { x: Nat }

// all true
{{
    num = [
        0 == 0,
        1 == 3 - 2,
        1 != 2,
    ],
    array = [
        [] == [],
        [1] == [1],
        [1] != [2],
        [1] != [1, 1],
        [F(1)] == [F(1)],
        [F(1)] != [F(2)],
    ],
    f = [
        F(1) == F(1),
        F(1) != F(2),
        F(1) != G(1),
    ],
    g = [
        G(1) == G(1),
        G(1) != G(2),
    ],
}}