Actually seems to be a bit more involved: according to the submitter[1] Java is trying to prove something that is undecidable on Java's current type system. To

Actually seems to be a bit more involved: according to the submitter[1] Java is trying to prove something that is undecidable on Java's current type system. To solve it you'd have to make it stricter. [1] http://www.reddit.com/r/programming/comments/mlbna/scala_feels_like_ejb_2/c31zdbd http://www.reddit.com/r/programming/comments/mlbna/scala_fee...