3 function takes_int(int $x) { }
7 if (true) {} // this makes $a into a Tvar mapped to a Tunresolved[int]
8 /* We used to unify both branches of a ternary expression, then falling back
9 * to creating a Tunresolved if unification failed; this would create a false
10 * positive error for the code below.