aboutsummaryrefslogtreecommitdiff
path: root/tests/neg
Commit message (Expand)AuthorAgeFilesLines
* Disallow hk type parameters in lower bounds.Martin Odersky2015-12-111-0/+11
* Disallow existentially bound parameters as type parametersMartin Odersky2015-12-061-0/+16
* Generalize test to function classesMartin Odersky2015-11-161-0/+9
* Merge pull request #927 from dotty-staging/stdlib-boundsodersky2015-11-092-39/+8
|\
| * Check bounds of inferred typevars in PostTyper.Martin Odersky2015-11-051-0/+8
| * Drop test that lower bound must be a subtype of upper bound.Martin Odersky2015-11-051-39/+0
* | Handle variance unsoundness in scalacMartin Odersky2015-11-051-0/+26
|/
* Merge pull request #900 from dotty-staging/fix-#871odersky2015-11-051-0/+5
|\
| * Deal gracefully with missing return types of abstract menthods.Martin Odersky2015-11-011-0/+5
* | Merge pull request #860 from dotty-staging/change-allow-ex-in-hkDmitry Petrashko2015-11-022-15/+4
|\ \ | |/ |/|
| * Represent references to Scala2 inner classes as WithFixedSym typesMartin Odersky2015-10-251-4/+4
| * Allow existential types in hk typesMartin Odersky2015-10-241-11/+0
* | Merge pull request #886 from dotty-staging/fix-#884Guillaume Martres2015-10-302-6/+6
|\ \
| * | Fix #884 - misdiagnosed ambiguous definition.Martin Odersky2015-10-292-6/+6
| |/
* / Don't count suppressed errorsMartin Odersky2015-10-261-0/+9
|/
* Better handling of merge errorsMartin Odersky2015-10-221-0/+7
* Add well-formedness checking for created symbolsMartin Odersky2015-10-223-0/+74
* Fix tests to survive wellformedness checksMartin Odersky2015-10-223-3/+3
* Merge pull request #821 from dotty-staging/fix-check-simple-kindedDmitry Petrashko2015-10-201-1/+7
|\
| * Check that some types are not higher-kinded.Martin Odersky2015-10-071-1/+7
* | Merge pull request #799 from dotty-staging/change-inferenceodersky2015-10-071-0/+7
|\ \ | |/ |/|
| * Added neg testMartin Odersky2015-09-181-0/+7
* | Move test to posMartin Odersky2015-09-291-7/+0
* | Matching denotations should take infos into accountMartin Odersky2015-09-291-2/+2
* | Disallow wildcard arguments to higher-kinded types...Martin Odersky2015-09-181-0/+11
|/
* Merge pull request #767 from dotty-staging/fix-#756-super-accessorsDmitry Petrashko2015-08-281-0/+8
|\
| * Add missing negative test.Martin Odersky2015-08-211-0/+8
* | Make it a syntactic criterion whether a literal is a legal typeMartin Odersky2015-08-241-0/+2
* | Better error message for Null and 'sym singleton types.Martin Odersky2015-08-231-0/+4
* | Update neg testMartin Odersky2015-08-231-1/+0
* | Tests of functionality.Martin Odersky2015-08-231-0/+6
|/
* Merge pull request #719 from dotty-staging/fix/doubledefsDmitry Petrashko2015-07-201-0/+6
|\
| * Add test caseMartin Odersky2015-07-091-0/+6
* | Don't add lower bounds of abstract types to the implicit scopeGuillaume Martres2015-07-111-0/+14
* | Check that a self type T is closed.Martin Odersky2015-07-061-0/+4
* | Error instead of crash when sigName comes up with a missing reference.Martin Odersky2015-07-061-0/+37
|/
* Merge pull request #695 from dotty-staging/fix/source-positionsDmitry Petrashko2015-07-021-0/+4
|\
| * Avoid crasher when first token of a program is in errorMartin Odersky2015-06-251-0/+4
* | Check value class member restrictionsMartin Odersky2015-07-021-0/+7
* | Check that value classes are staticMartin Odersky2015-07-021-0/+15
* | Check final and sealed conditionsMartin Odersky2015-07-021-0/+4
|/
* Implement trait parametersMartin Odersky2015-06-191-0/+12
* Implement checking for illegal parent trait constructor calls.Martin Odersky2015-06-191-0/+16
* Add missing testMartin Odersky2015-06-191-0/+38
* Skolemize unstable prefixes in asSeenFromMartin Odersky2015-06-061-0/+27
* Tighten isStable predicateMartin Odersky2015-06-061-7/+0
* New miniphase: ExpandSAMsMartin Odersky2015-05-021-7/+0
* Fix #492. Traits that require an outer pointer are not SAMs.Dmitry Petrashko2015-04-231-0/+7
* Added phase to check `New` nodes for instantiability.Martin Odersky2015-04-131-0/+38
* Self type inheritance checkMartin Odersky2015-04-131-0/+28