Pull requests: scala/scala3
Pull requests list
Rename -Y{cook|drop}-comments to -Y{cook|drop}-docs
#12439 by nicolasstucki was merged May 13, 2021 Loading…
Draft: tweak order of cases in TypeComparer#thirdTry, for GADTs
#12231 by abgruszecki was closed May 10, 2023 • Draft
Add the Boehm Berarducci encoding of Lists as a test
#12841 by odersky was merged Jun 17, 2021 Loading…
Add regression tests fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#15339 by nicolasstucki was merged Jun 6, 2022 Loading…
When checking tp1 <:< tycon2[args2], widen tp1 to reveal application
#12846 by smarter was merged Jun 17, 2021 Loading…
Deskolemise patterns to suppress exhaustivity warnings
#13137 by dwijnand was merged Aug 26, 2021 Loading…
Take type bounds into account for overloading resolution
#11080 by odersky was merged Jan 18, 2021 Loading…
Fix multiversal equality checks for pattern matching
#9991 by odersky was merged Oct 13, 2020 Loading…
Fix tuple member selection so it works with GADT healing
#16766 by dwijnand was merged Jan 26, 2023 Loading…
Don't generate illegal types when clarifying implicit errors
#14068 by odersky was merged Dec 13, 2021 Loading…
Add extension/conversion to GADT selection healing
#16638 by dwijnand was merged Jan 16, 2023 Loading…
Constrain pattern types when typing a match type case
#14563 by dwijnand was merged Feb 28, 2022 Loading…
Clear the not-backported documentation changes queue
#19699 by Kordyjan was merged Feb 15, 2024 Loading…
Fix (part of) #6323: trust case class unapplies to produce checkable type tests
#6551 by abgruszecki was merged Jun 6, 2019 Loading…
Use inline and inline-if to ensure constant folding happened
#7202 by nicolasstucki was merged Sep 12, 2019 Loading…
Fix #8012: Disallow conversion to underspecified SAM type fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#8013 by odersky was merged Jan 17, 2020 Loading…
Fix #6745: Fix handling of
this in dependent function types #8436 by odersky was merged Mar 9, 2020 Loading…
Allow constraining GADTs from above with unions
#12338 by abgruszecki was closed May 6, 2021 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.