Pull requests: scala/scala3
Pull requests list
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…
Consider GADT upper bounds when upcasting the scrutinee type
#15351 by dwijnand was merged Jun 7, 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…
Draft: tweak order of cases in TypeComparer#thirdTry, for GADTs
#12231 by abgruszecki was closed May 10, 2023 • Draft
ProTip! Follow long discussions with comments:>50.