🙁 Actual behavior a.t was checked to be undefined by if, but in else it is not inferred. in test case 1, we can see that doing the reverse (checking for defined and checking in "if" for defined works ...