aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/i39.scala
Commit message (Collapse)AuthorAgeFilesLines
* Allow definition of new types in refinementsMartin Odersky2016-07-121-1/+1
| | | | | Allow definition of types in refinements that do not appear in parent type.
* Negtests with // error commentsvsalvis2016-02-181-2/+2
|
* Fix of #39Martin Odersky2014-03-041-0/+19
Two fixes: 1) Avoid the infinite recursion in checkAccessible if the accessibility check fails. 2) Make accessibility succeed for the test, and in general if the target denotation does not have a symbol. Added original test in pos and a negative test which makes accessibility fail.