diff --git a/idea/testData/checker/UnreachableCode.jet b/idea/testData/checker/UnreachableCode.jet index 6257c7d69af..899e8167678 100644 --- a/idea/testData/checker/UnreachableCode.jet +++ b/idea/testData/checker/UnreachableCode.jet @@ -133,4 +133,21 @@ fun blockAndAndMismatch() : Boolean { fun tf() { try {return} finally{return} 1 -} \ No newline at end of file +} + +fun failtest(a : Int) { + if (fail() || true) { + + } + 1 +} + +fun foo(a : Nothing) : Unit { + 1 + a + 2 +} + +fun fail() : Nothing { + throw new java.lang.RuntimeException() +}