|
42 | 42 | - Harden tpd.Apply/TypeApply in case of errors [#16887](https://github.com/lampepfl/dotty/pull/16887)
|
43 | 43 | - Try to be more subtle when inferring type parameters of class parents [#16896](https://github.com/lampepfl/dotty/pull/16896)
|
44 | 44 | - Include `P` in the implicit scope of `P.this.type` [#17088](https://github.com/lampepfl/dotty/pull/17088)
|
| 45 | +- Do not compute `protoFormal` if `param.tpt` is empty [#18288](http://github.com/lampepfl/dotty/pull/18288) |
45 | 46 |
|
46 | 47 | ## Incremental Compilation
|
47 | 48 |
|
|
71 | 72 |
|
72 | 73 | ## Match Types
|
73 | 74 |
|
74 |
| -- Normalize match type usage during implicit lookup [#17457](https://github.com/lampepfl/dotty/pull/17457) |
75 | 75 | - Fix #13757: Explicitly disallow higher-kinded scrutinees of match types. [#17322](https://github.com/lampepfl/dotty/pull/17322)
|
76 | 76 | - Fix match type reduction with wildcard type arguments [#17065](https://github.com/lampepfl/dotty/pull/17065)
|
77 | 77 | - Fix check whether classtag can be generated for match types [#16708](https://github.com/lampepfl/dotty/pull/16708)
|
|
86 | 86 | - Check outer class prefixes in type projections when pattern matching [#17136](https://github.com/lampepfl/dotty/pull/17136)
|
87 | 87 | - Make unchecked cases non-`@unchecked` and non-unreachable [#16958](https://github.com/lampepfl/dotty/pull/16958)
|
88 | 88 | - Fix #16899: Better handle X instanceOf P where X is T1 | T2 [#17382](https://github.com/lampepfl/dotty/pull/17382)
|
| 89 | +- Fix regression in exhaustivity of HK types [#18303](http://github.com/lampepfl/dotty/pull/18303) |
89 | 90 |
|
90 | 91 | ## Pickling
|
91 | 92 |
|
|
121 | 122 | - Only transform the body of the quote with QuoteTransformer [#17451](https://github.com/lampepfl/dotty/pull/17451)
|
122 | 123 | - Place staged type captures in Quote AST [#17424](https://github.com/lampepfl/dotty/pull/17424)
|
123 | 124 | - Add SplicePattern AST to parse and type quote pattern splices [#17396](https://github.com/lampepfl/dotty/pull/17396)
|
| 125 | +- Dealias types in `New`` before matching quotes [#17615](https://github.com/lampepfl/dotty/pull/17615) |
124 | 126 |
|
125 | 127 | ## Reflection
|
126 | 128 |
|
|
129 | 131 | - Fix reflect.LambdaType type test [#16972](https://github.com/lampepfl/dotty/pull/16972)
|
130 | 132 | - Improve `New`/`Select` -Ycheck message [#16746](https://github.com/lampepfl/dotty/pull/16746)
|
131 | 133 | - Improve error message for CyclicReference in macros [#16749](https://github.com/lampepfl/dotty/pull/16749)
|
132 |
| -- Add reflect `defn.FunctionClass` overloads [#16849](https://github.com/lampepfl/dotty/pull/16849) |
133 | 134 |
|
134 | 135 | ## REPL
|
135 | 136 |
|
|
222 | 223 | - Fix #16405 ctd - wildcards prematurely resolving to Nothing [#16764](https://github.com/lampepfl/dotty/pull/16764)
|
223 | 224 | - Test: add regression test for #7790 [#17473](https://github.com/lampepfl/dotty/pull/17473)
|
224 | 225 | - Properly handle `AnyVal`s as refinement members of `Selectable`s [#16286](https://github.com/lampepfl/dotty/pull/16286)
|
| 226 | +- Fix `accessibleType` for package object prefixes [#18057](https://github.com/lampepfl/dotty/pull/18057) |
| 227 | +- Add clause for protected visibility from package objects [#18134](https://github.com/lampepfl/dotty/pull/18134) |
| 228 | +- Revert "Include top-level symbols from same file in outer ambiguity error" [#17438](https://github.com/lampepfl/dotty/pull/17438) |
| 229 | +- Heal stage inconsistent prefixes of type projections [#18239](https://github.com/lampepfl/dotty/pull/18239) |
| 230 | +- Fix regression #17245: Overloaded methods with ClassTags [#18286](http://github.com/lampepfl/dotty/pull/18286) |
| 231 | +- Disallow taking singleton types of packages again [#18232](http://github.com/lampepfl/dotty/pull/18232) |
| 232 | +- A slightly more conservative version of #14218 [#18352](http://github.com/lampepfl/dotty/pull/18352) |
| 233 | +- Record failures to adapt application arguments [#18269](http://github.com/lampepfl/dotty/pull/18269) |
| 234 | +- Refine `infoDependsOnPrefix` [#18204](httpsF://github.com/lampepfl/dotty/pull/18204) |
| 235 | +- Tweak selection from self types [#18467](https://github.com/lampepfl/dotty/pull/18467) |
225 | 236 |
|
226 | 237 | # Contributors
|
227 | 238 |
|
|
0 commit comments