Ensure conformance to new typing rules #475

odersky · 2018-02-20T21:34:46Z

scala/scala3#4013 contains several tightenings of typing rules to fix unsoundness problems connected to variant refinements. We should ensure that the new collections typechecks with these changes.

julienrf added the blocker label Feb 20, 2018

biboudis self-assigned this Mar 22, 2018

julienrf added the in progress label Mar 22, 2018

julienrf mentioned this issue Apr 12, 2018

Be more explicit about the unsoundness holes used by the collections. scala/scala#6508

Merged

szeiger added this to the Scala 2.13.0-M4 milestone Apr 24, 2018

lrytz closed this as completed in scala/scala#6508 Apr 26, 2018

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Ensure conformance to new typing rules #475

Ensure conformance to new typing rules #475

odersky commented Feb 20, 2018 •

edited

Loading

Ensure conformance to new typing rules #475

Ensure conformance to new typing rules #475

Comments

odersky commented Feb 20, 2018 • edited Loading

odersky commented Feb 20, 2018 •

edited

Loading