Merge remote-tracking branch 'origin/master'

idea/testData/checker/Nullability.jet

@@ -272,3 +272,9 @@ fun f8(b : String?, a : String) {
     b.get(0)
   }
 }
+
+fun f9(a : Int?) : Int {
+  if (a != null)
+    return a
+  return 1
+}

idea/testData/checker/infos/Autocasts.jet

@@ -147,3 +147,9 @@ fun f15(a : A?) {
   <info descr="Automatically cast to B">a</info>.bar()
   <error>c</error>.bar()
 }
+
+fun getStringLength(obj : Any) : Char? {
+  if (obj !is String)
+    return null
+  return <info>obj</info>.get(0) // no cast to String is needed
+}