TSPHP-820 Falseable types