Merge remote branch 'origin/master'

2011-05-13 17:08:18 +04:00
parent 29dba62144 7848122d8d
commit 5aad7021af
8 changed files with 76 additions and 2 deletions
@@ -0,0 +1,7 @@
+fun test() {
+   if (1 is Int) {
+     if (<warning>1 is Boolean</warning>) {
+
+     }
+   }
+}