Before You File a Proposal Please Confirm You Have Done The Following...

• I have searched for related issues and found none that match my proposal.
• I have read the FAQ and my problem is not listed.

Description

I propose that the checkTypePredicates functionality should be enabled by default in our next major version (currently it is disabled by default).

We've had it out for several months and received no bug reports (though we've received two related issues resulting in positive feedback, #10142, #10398).

Impacted Configurations

strict-type-checked

Additional Info

No response