-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Issues: scala/scala3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Implicit search recovering from ambiguity with worse candidate ?
area:implicits
related to implicits
area:infer
itype:bug
#23270
opened May 27, 2025 by
EugeneFlesselle
Type inference fails when matching a polymorphic case
area:infer
area:union-types
Issues tied to union types.
itype:bug
#22685
opened Feb 28, 2025 by
t9dupuy
private[this] inference does not work for constructor parameters
area:infer
area:variance
Issues related to covariance & contravariance.
itype:bug
#22620
opened Feb 17, 2025 by
yaniskas
Inference limitation when combining apply insertion and match type
area:infer
itype:bug
#21838
opened Oct 23, 2024 by
smarter
Type Inference happens too soon (and incorrectly)
area:infer
itype:enhancement
#21792
opened Oct 16, 2024 by
coreywoodfield
Inference failure with unconstrained type parameter
area:infer
itype:bug
#20235
opened Apr 19, 2024 by
lrytz
Inconsistency in type inference from function parameters
area:infer
itype:bug
#20114
opened Apr 6, 2024 by
KuceraMartin
Crash while compiling code
area:infer
area:typer
itype:bug
itype:crash
stat:needs minimization
Needs a self contained minimization
#19852
opened Mar 1, 2024 by
udalrich
Unexpected widening of hard union of enum val cases to the enum class.
area:infer
area:spec
itype:language enhancement
#19823
opened Feb 28, 2024 by
markehammons
Excessively loose type inference
area:infer
area:typer
itype:bug
itype:invalid
#19610
opened Feb 4, 2024 by
Bersier
inline implicit conversion infers related to implicits
area:infer
area:inline
itype:enhancement
Nothing for covariant types
area:implicits
#19388
opened Jan 6, 2024 by
soronpo
Intersection types are not always commutative
area:infer
area:typer
backlog
No work planned on this by the core team for the time being.
itype:enhancement
#19376
opened Jan 4, 2024 by
rskfocus
Slow performance in a combination of features
area:infer
area:typer
backlog
No work planned on this by the core team for the time being.
help wanted
itype:enhancement
itype:performance
stat:needs minimization
Needs a self contained minimization
#18763
opened Oct 25, 2023 by
kubukoz
can't infer proper type when using extension method as a function
area:infer
itype:bug
#18558
opened Sep 15, 2023 by
kpodsiad
Inferred type K in Map[K, V] does not match or roundtrip
area:infer
itype:enhancement
#18551
opened Sep 14, 2023 by
mcanlas
Wrong type inference from lambda function's parameter
area:infer
area:typer
itype:enhancement
prio:low
#18453
opened Aug 24, 2023 by
KuceraMartin
Member type inference loses refinement type from RHS
area:infer
area:typer
itype:enhancement
#18425
opened Aug 19, 2023 by
erikerlandson
Type alias affects inference of higher kinded type parameter
area:infer
itype:enhancement
#18346
opened Aug 6, 2023 by
ddtthh
Nested No work planned on this by the core team for the time being.
itype:enhancement
transparent calls *: mangles types
area:infer
backlog
#18011
opened Jun 19, 2023 by
ncreep
Issue with enqueuing an akka ByteString to an immutable Queue
area:infer
itype:bug
#17946
opened Jun 9, 2023 by
pjfanning
Ambiguous overload: false detection
area:infer
backlog
No work planned on this by the core team for the time being.
itype:enhancement
#16618
opened Jan 5, 2023 by
satorg
Enum widening sabotages match types
area:infer
itype:enhancement
itype:language enhancement
#16299
opened Nov 8, 2022 by
b-studios
Inference of inaccessible types
area:infer
itype:enhancement
#4228
opened Apr 2, 2018 by
Blaisorblade
ProTip!
Mix and match filters to narrow down what you’re looking for.