Abel Nieto

Flow-sensitive type inference

9

As per our last meeting, we need to support the following kinds of idioms: (easier) ``` // s: String|Null if (s != null) { // s: String } ``` and...

```scala 1 class Foo { 2 val s: String = ??? 3 s match { 4 case x: String => 1 5 // Test that this isn't marked as unreachable...

The pattern matcher can't distinguish between ``` ??? match { case a: Array[String|Null] => ??? case a: Array[String] => ??? } ``` Should we warn the user when they try...

Can't call generic method with array of value type

1

If we have Java code ``` class Foo { public static void foo(T[] arr) {} } ``` we can no longer call it from Scala with an argument that's an...

Recognize the @NonNull annotation (in its multiple forms) in the Java interop layer, so we can do a more precise translation of types coming from Java.

Liftable.scala has a bunch of liftable instances for primitive types, including String (not shown below): ``` object Liftable { implicit def BooleanIsLiftable: Liftable[Boolean] = new Liftable[Boolean] { def toExpr(x: Boolean):...

Test failure: tests/run/returning.scala

2

Smaller repro of the failure: ``` class Foo extends scala.util.control.NoStackTrace { } ``` The problem is that https://docs.oracle.com/javase/7/docs/api/java/lang/Throwable.html#fillInStackTrace() returns a `Throwable|JavaNull`, but since the standard library is non-boostrapped, there's no...

JavaNull not propagated by type inference as anonymous function argument

1

This doesn't typecheck ``` object Test { def main(args: Array[String]): Unit = { val f = new Foo println(1) println(f.foo) println(2) println(f.foo) // TODO: Erase // Currently not erasing fields...

Consider what, if any, changes are required to `CheckRealizable` in light of this comment ``` // check fields only under strict mode for now. // Reason: An embedded field could...