aboutsummaryrefslogtreecommitdiff
path: root/tests/neg/i1430.scala
Commit message (Collapse)AuthorAgeFilesLines
* New string infterpolatorsMartin Odersky2016-08-161-0/+26
| | | | | | Roll `sm` and `i` into one interpolator (also called `i`) Evolve `d` to `em` interpolator (for error messages) New interpolator `ex` with more explanations, replaces disambiguation.
* Suspend interpolating typevars when there are unreported errors.Martin Odersky2016-08-161-0/+8
Interpolating typevars that appear co- or contra-variantly in a type is a cleanup measure - it helps keep the constraint set small. However, if there are uneported errors, some of these errors might report on unsatisfiable constraints for these type variables. In that case, instantiating the type variables risks being confusing.