| testBug572361 - 21 | 0.37 sec | Passed |
| testBug576329 - 21 | 24 ms | Passed |
| testGH1009 - 21 | 34 ms | Passed |
| testGH1302 - 21 | 16 ms | Passed |
| testGH1399 - 21 | 0.36 sec | Passed |
| testGH1399_2 - 21 | 20 ms | Passed |
| testGH1691_a - 21 | 14 ms | Passed |
| testGH1691_b - 21 | 24 ms | Passed |
| testGH1760 - 21 | 36 ms | Passed |
| testGH1771 - 21 | 18 ms | Passed |
| testGH1771_corrected - 21 | 19 ms | Passed |
| testGH1964_since_22 - 21 | 11 ms | Passed |
| testInstanceOfPatternIsLaterAssignedNull - 21 | 15 ms | Passed |
| testInstanceOfPatternIsNonNull - 21 | 20 ms | Passed |
| testIssue233_nok - 21 | 22 ms | Passed |
| testIssue233_npeWitness - 21 | 13 ms | Passed |
| testIssue233_ok - 21 | 70 ms | Passed |
| testNullableVar - 21 | 13 ms | Passed |
| test_defaultDoesNotApplyToNull - 21 | 80 ms | Passed |
| test_defaultDoesNotApplyToNull_field - 21 | 22 ms | Passed |
| test_defaultDoesNotApplyToNull_field2 - 21 | 22 ms | Passed |
| test_nullHostileSwitch - 21 | 16 ms | Passed |
| test_switchOverNNValueWithNullCase - 21 | 21 ms | Passed |
| test_switchOverNNValueWithNullCase_swExpr - 21 | 22 ms | Passed |
| test_totalTypePatternDoesNotAdmitNull - 21 | 23 ms | Passed |
| test_totalTypePatternNonNullExpression - 21 | 21 ms | Passed |
| test_totalTypePatternNonNullExpression_swExpr - 21 | 21 ms | Passed |
| test_totalTypePatternNullableExpression - 21 | 18 ms | Passed |
| test_totalTypePatternPlusNullPattern - 21 | 24 ms | Passed |
| test_typePatternIsNN - 21 | 22 ms | Passed |
![[Jenkins]](/objectteams/static/5f45190e/images/svgs/logo.svg){kind=logo}
