summaryrefslogtreecommitdiff
path: root/test/files/neg/variances.check
Commit message (Collapse)AuthorAgeFilesLines
* SI-7872 Plug a variance exploit in refinement typesJason Zaugg2013-11-231-1/+4
| | | | | | | | | | | | | | | | Refinement types are collapsed to a TypeTree with an original during type checking; this was enough to evade variance validation in refchecks. This commit: - validates the original of `TypeTree`s in refchecks - changes VarianceValidator to recurse into: - the originals of `TypeTree`s - `TypTree` (to cover, e.g. `CompoundTypeTree` / `SelectFromTypeTree`) It also finds an unreported variance violation in an existing test case, variances.scala. This looks to be legitimate.
* SI-6566, unsoundness with alias variance.Paul Phillips2013-01-091-1/+4
| | | | | | | This wasn't as bad as it could have been. All these changes plug soundness holes in trunk. Mostly we're looking at type aliases which were merely protected when they had to be protected[this] not to allow unsound variance crossover.
* Fix for SI-3272.Paul Phillips2012-04-021-8/+11
| | | | | | | | "References to the type parameters in object-private or object-protected values, variables, or methods (ยง5.2) of the class are not checked for their variance position." Review by @odersky.
* Updated checkfiles to subtract ScalaObject.Paul Phillips2012-02-041-1/+1
|
* Begone t1737...Hubert Plociniczak2011-11-021-2/+2
|
* Added *.log and build/ to gitignore so partest/...Josh Suereth2011-11-231-2/+2
| | | | | | | Added *.log and build/ to gitignore so partest/ant artifacts don't show up in our commit messages. Also fixed whitespace issues arising from the filter-branch history rewrite for git move.
* Proliferating the number of debugging modes bec...Paul Phillips2011-06-061-1/+1
| | | | | | | | | | | | | | Proliferating the number of debugging modes because it's still way too hard to see what's going on in there. Until we get hubert's type debugger with its whiz-bang whizbanginess, we'll have to struggle along with somewhat prettier ascii. This introduces: -Yinfer-debug which tries to print in readable fashion what is happening in the worlds of inference and implicit search. It should be made a bit more complementary and less overlappy with -Ytyper-debug. No review.
* fix the failing test. review by dubochet.Lukas Rytz2010-08-051-1/+1
|
* removed the dir info of the error messages.Aleksandar Pokopec2010-04-291-5/+5
|
* Tightened variances check. Review by prokopec.Martin Odersky2010-04-291-5/+8
|
* fixed bug in Parser and updated check files.Martin Odersky2009-06-251-1/+4
|
* added comments; better errror messages; trace u...Martin Odersky2008-12-081-1/+1
| | | | | added comments; better errror messages; trace utility
* Character -> Charmichelou2008-01-181-10/+0
|
* Massive check-in for IDE.Sean McDirmid2007-09-171-1/+1
|
* classOf[Integer] now properly resolves to class...Adriaan Moors2007-07-201-0/+10
| | | | | | | classOf[Integer] now properly resolves to classOf[java.lang.Integer] because Predef.Integer (and Character) are @deprecated, had to update check files to include these warnings
* fixed bug1170Martin Odersky2007-06-291-2/+8
|
* Capitalized type params in Predef, fixed bug in...michelou2007-05-311-2/+2
| | | | | Capitalized type params in Predef, fixed bug in URLZipArchive
* added colonBurak Emir2007-01-071-1/+1
|
* 'test-nsc' has been moved to 'test'.Gilles Dubochet2005-12-161-0/+4
|
* Removed old scala tests from new Scala core mod...Gilles Dubochet2005-12-161-4/+0
| | | | | Removed old scala tests from new Scala core module.
* *** empty log message ***michelou2005-12-131-0/+4
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-21 12:08:28 +0000