Commit 3f25f89
committed
Fix crash on uninstantiated field access
The uninstantiated access in the test case happens because the closure
passed to the HKTypeLambda constructor to construct the result type by
`HKTypeLambda.newLikeThis` calls `subst` which eventually calls
`HKTypeLambda#equals`, I don't see a way to prevent that at the source,
so make equality checking robust to uninstantatied fields.
Fixes #13513.1 parent 74ebee0 commit 3f25f89
File tree
2 files changed
+7
-0
lines changed- compiler/src/dotty/tools/dotc/core
- tests/neg
2 files changed
+7
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3876 | 3876 | | |
3877 | 3877 | | |
3878 | 3878 | | |
| 3879 | + | |
| 3880 | + | |
3879 | 3881 | | |
3880 | 3882 | | |
3881 | 3883 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
0 commit comments