path: root/compiler/tests/verifier/type_compatibility_pointer.bad

() test() {
    int var^ a;
    byte var^ b;
    (int, int) var^ c;
    (int, byte) var^ d;
    
    /* ERRORS */
    a = b;
    c = d;
}