search

namin / unsound

Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
https://io.livecode.ch/learn/namin/unsound?img=java8
74 stars 4 forks source link

Unsound is not valid as of JLS 8 #8

Closed stephan-herrmann closed 4 months ago

stephan-herrmann commented 7 years ago

I watched Java 8 inference on the Unsound example and have indications that this is deterministically rejected by the rules of JLS. Please have a look at https://bugs.eclipse.org/bugs/show_bug.cgi?id=510900#c1

stephan-herrmann commented 4 months ago

Already in https://bugs.eclipse.org/bugs/show_bug.cgi?id=510900#c3 I concluded that ecj correctly rejects the presented examples. Nothing to be done here.