Pseudocode: Filter out nulls before combining type predicates
 #KT-5732 Fixed
@TestDataPath and @TestDataFile annotation added to facilitate navigation to test data
Tests regenerated
Added platformStatic annotation
Initial implementation of platformStatic
~fix
Some new diagnostics
annotations