Pull requests: scala/scala3
Pull requests list
Clear the not-backported documentation changes queue
#19699 by Kordyjan was merged Feb 15, 2024 Loading…
Extend pattern type constraining to sealed hierarchies
#16924 by dwijnand was closed Sep 25, 2024 Loading…
Fix tuple member selection so it works with GADT healing
#16766 by dwijnand was merged Jan 26, 2023 Loading…
Add extension/conversion to GADT selection healing
#16638 by dwijnand was merged Jan 16, 2023 Loading…
Ensure erased vals pass CheckRealizable
#16111 by natsukagami was merged Nov 8, 2022 Loading…
3 tasks done
Avoid references to unbound parameters in applied type patterns
#15710 by odersky was merged Jul 25, 2022 Loading…
Fix constraining against HKTypeLambda arguments backport:done This PR was successfully backported.
#15688 by dwijnand was merged Jul 18, 2022 Loading…
Don't trust case class extractors with explicit type arguments
#15669 by odersky was merged Jul 14, 2022 Loading…
Consider GADT upper bounds when upcasting the scrutinee type
#15351 by dwijnand was merged Jun 7, 2022 Loading…
Add regression tests fasttrack Simple fix. Reviewer should merge or apply additional changes directly.
#15339 by nicolasstucki was merged Jun 6, 2022 Loading…
Try
either when compare an intersection against an applied type in GADT mode #15175 by Linyxus was closed May 11, 2023 Loading…
Heal pattern-bound type by gathering constraints
#15095 by dwijnand was merged May 23, 2022 Loading…
Ban classes that incompatibly refine type params
#14820 by dwijnand was closed Oct 10, 2022 Loading…
Avoid unsound GADT constraints derived from subtyping relations between singletons and refined types
#14728 by Linyxus was merged Mar 24, 2022 Loading…
Fix #14726: call exclusiveLower before addLess during unification
#14727 by Linyxus was merged Mar 25, 2022 Loading…
Constrain pattern types when typing a match type case
#14563 by dwijnand was merged Feb 28, 2022 Loading…
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.