Skip to content

Fix #6314: match type unsoundness #6319

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 11 commits into from
May 17, 2019
Merged

Fix #6314: match type unsoundness #6319

Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
df1bf4d
Use .zipped.forall instead zip_zip_forall
OlivierBlanvillain Apr 16, 2019
f889bf8
Don't assume types in & are sorted
OlivierBlanvillain Apr 16, 2019
992150b
Update exhaustivity tests for loosen rules
OlivierBlanvillain Apr 16, 2019
be29f14
Remove EqualsPatternClass
OlivierBlanvillain Apr 18, 2019
1fc0059
Special case intersecting for Singleton
OlivierBlanvillain Apr 18, 2019
7e669b7
Don't special case bottom
OlivierBlanvillain Apr 18, 2019
3f89e4c
Speed up runtime test
OlivierBlanvillain Apr 29, 2019
ace48a2
Add a subtype check with Wildcard types
OlivierBlanvillain Apr 29, 2019
0cec095
Add test cases from #6314
OlivierBlanvillain Apr 29, 2019
96bd9db
Refactor intersecting as disjoint
OlivierBlanvillain May 9, 2019
74ca923
Follow type aliases in widenAbstractTypes
OlivierBlanvillain May 9, 2019
File filter

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Don't special case bottom
  • Loading branch information
@OlivierBlanvillain
OlivierBlanvillain committed Apr 29, 2019
commit 7e669b7e8eb96474e3a07eae5f79202ff5ec7a66
3 changes: 1 addition & 2 deletions compiler/src/dotty/tools/dotc/core/Types.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3823,8 +3823,7 @@ object Types {
myReduced =
trace(i"reduce match type $this $hashCode", typr, show = true) {
try
if (defn.isBottomType(scrutinee)) defn.NothingType
else typeComparer.matchCases(scrutinee, cases)(trackingCtx)
typeComparer.matchCases(scrutinee, cases)(trackingCtx)
catch {
case ex: Throwable =>
handleRecursive("reduce type ", i"$scrutinee match ...", ex)
Expand Down