Make range type falsiness test more explicit

Author: ECrownofFire

tests/baselines/reference/rangeTypeFalsiness.js

@@ -1,37 +1,17 @@
 //// [rangeTypeFalsiness.ts]
-function a(arg: (> 0)) {
-    if(!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+function a(arg: (> 0)): true {
+    return !!arg;
 }
 
-function b(arg: (>= 0)) {
-    if (!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+function b(arg: (>= 0)): boolean {
+    return !!arg;
 }
 
 
 //// [rangeTypeFalsiness.js]
 function a(arg) {
-    if (!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+    return !!arg;
 }
 function b(arg) {
-    if (!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+    return !!arg;
 }

tests/baselines/reference/rangeTypeFalsiness.symbols

@@ -1,29 +1,17 @@
 === tests/cases/compiler/rangeTypeFalsiness.ts ===
-function a(arg: (> 0)) {
+function a(arg: (> 0)): true {
 >a : Symbol(a, Decl(rangeTypeFalsiness.ts, 0, 0))
 >arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 0, 11))
 
-    if(!arg) {
+    return !!arg;
 >arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 0, 11))
-
-        return false;
-    }
-    else {
-        return true;
-    }
 }
 
-function b(arg: (>= 0)) {
->b : Symbol(b, Decl(rangeTypeFalsiness.ts, 7, 1))
->arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 9, 11))
-
-    if (!arg) {
->arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 9, 11))
+function b(arg: (>= 0)): boolean {
+>b : Symbol(b, Decl(rangeTypeFalsiness.ts, 2, 1))
+>arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 4, 11))
 
-        return false;
-    }
-    else {
-        return true;
-    }
+    return !!arg;
+>arg : Symbol(arg, Decl(rangeTypeFalsiness.ts, 4, 11))
 }
 

tests/baselines/reference/rangeTypeFalsiness.types

@@ -1,35 +1,22 @@
 === tests/cases/compiler/rangeTypeFalsiness.ts ===
-function a(arg: (> 0)) {
->a : (arg: (> 0)) => boolean
+function a(arg: (> 0)): true {
+>a : (arg: (> 0)) => true
 >arg : (> 0)
+>true : true
 
-    if(!arg) {
+    return !!arg;
+>!!arg : true
 >!arg : false
 >arg : (> 0)
-
-        return false;
->false : false
-    }
-    else {
-        return true;
->true : true
-    }
 }
 
-function b(arg: (>= 0)) {
+function b(arg: (>= 0)): boolean {
 >b : (arg: (>= 0)) => boolean
 >arg : (>= 0)
 
-    if (!arg) {
+    return !!arg;
+>!!arg : boolean
 >!arg : boolean
 >arg : (>= 0)
-
-        return false;
->false : false
-    }
-    else {
-        return true;
->true : true
-    }
 }
 

tests/cases/compiler/rangeTypeFalsiness.ts

@@ -1,20 +1,9 @@
-// @allowUnreachableCode: false
 // @strictNullChecks: true
 
-function a(arg: (> 0)) {
-    if(!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+function a(arg: (> 0)): true {
+    return !!arg;
 }
 
-function b(arg: (>= 0)) {
-    if (!arg) {
-        return false;
-    }
-    else {
-        return true;
-    }
+function b(arg: (>= 0)): boolean {
+    return !!arg;
 }