| testBug572361 - 21 | 0.23 sec | Passed |
| testBug576329 - 21 | 14 ms | Passed |
| testGH1009 - 21 | 20 ms | Passed |
| testGH1302 - 21 | 9 ms | Passed |
| testGH1399 - 21 | 0.23 sec | Passed |
| testGH1399_2 - 21 | 11 ms | Passed |
| testGH1691_a - 21 | 7 ms | Passed |
| testGH1691_b - 21 | 12 ms | Passed |
| testGH1760 - 21 | 13 ms | Passed |
| testGH1771 - 21 | 8 ms | Passed |
| testGH1771_corrected - 21 | 10 ms | Passed |
| testGH1964_since_22 - 21 | 0.21 sec | Failed |
| testInstanceOfPatternIsLaterAssignedNull - 21 | 10 ms | Passed |
| testInstanceOfPatternIsNonNull - 21 | 0.23 sec | Passed |
| testIssue233_nok - 21 | 13 ms | Passed |
| testIssue233_npeWitness - 21 | 8 ms | Passed |
| testIssue233_ok - 21 | 32 ms | Passed |
| testNullableVar - 21 | 7 ms | Passed |
| test_defaultDoesNotApplyToNull - 21 | 52 ms | Passed |
| test_defaultDoesNotApplyToNull_field - 21 | 13 ms | Passed |
| test_defaultDoesNotApplyToNull_field2 - 21 | 14 ms | Passed |
| test_nullHostileSwitch - 21 | 10 ms | Passed |
| test_switchOverNNValueWithNullCase - 21 | 13 ms | Passed |
| test_switchOverNNValueWithNullCase_swExpr - 21 | 13 ms | Passed |
| test_totalTypePatternDoesNotAdmitNull - 21 | 23 ms | Passed |
| test_totalTypePatternNonNullExpression - 21 | 13 ms | Passed |
| test_totalTypePatternNonNullExpression_swExpr - 21 | 12 ms | Passed |
| test_totalTypePatternNullableExpression - 21 | 9 ms | Passed |
| test_totalTypePatternPlusNullPattern - 21 | 14 ms | Passed |
| test_typePatternIsNN - 21 | 13 ms | Passed |
![[Jenkins]](/objectteams/static/dbb12d51/images/svgs/logo.svg){kind=logo}
