aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/blockescapesNeg.scala
Commit message (Collapse)AuthorAgeFilesLines
* Negtests with // error commentsvsalvis2016-02-181-1/+1
|
* Avoid hoisting of local classes out of method bodies.Martin Odersky2014-05-201-2/+3
| | | | | | | | | | Doing so is unsound. We instead approximate local classes by their parents, but only if the expected type is not fully defined. This makes the test t2421_delitedsl1.scala in the commit pass. The oter test, blockEscapesNeg.scala is modified to fail. Previously it failed outright but with the new rules the nested class Bar is approximated to Object. That means that the block containing `Foo.Bar` typechecks, but with type `Object` instead of the unreachable `Bar`.
* Flipping the logic to determine type leaksMartin Odersky2013-10-241-0/+5