Skip to content

Issues: scala/bug

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
106 Open 148 Closed
106 Open 148 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

java.lang.Boolean.TRUE doesn't conform to the instance type java.lang.Boolean.TRUE.type in function parameters fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer should compile singleton-type typer
#12901 opened Nov 7, 2023 by unkarjedy Backlog
5
Error on type projection C[_]#K fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer
#12463 opened Sep 16, 2021 by lrytz Backlog
@lrytz
6
2.12 compiler fails to infer type for complex nested Map involving F-bounded type f-bounds fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer
#12387 opened Apr 30, 2021 by wboult Backlog
5
Type inference affects on implicit parameters inside traits? fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) implicit infer
#12351 opened Feb 23, 2021 by abdolence Backlog
1
Strange type inference involving "with" when code is used from a library fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) help wanted infer separate compilation
#12305 opened Jan 13, 2021 by jdrphillips Backlog
5
Singleton type not inferred for an argument of an overloaded method when explicitly stated through a type parameter fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer overloading
#12253 opened Nov 30, 2020 by noresttherein Backlog
2
High Order Type cannot be inferred properly fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer lub should compile tcpoly
#12177 opened Oct 2, 2020 by neontorrent Backlog
2
Aux pattern not working for higher types infer should compile tcpoly
#12175 opened Oct 1, 2020 by noresttherein Backlog
3
Implicit conversion never applied but influences type inference fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) implicit infer typer
#12044 opened Jun 17, 2020 by mariogalic Backlog
5
Implicit search for traits and their descendant traits extending Any implicit infer
#12020 opened May 30, 2020 by Rich2 Backlog
9
New parameter type inference induces regression fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer overloading sam
#11907 opened Mar 13, 2020 by som-snytt Backlog
3
Type Inference Issue with Compound Types infer
#11898 opened Feb 25, 2020 by adamgfraser Backlog
10
Type inference when casting with asInstanceOf fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) help wanted infer
#11700 opened Aug 21, 2019 by dwijnand Backlog
12
Scala 2.12 -> 2.13 regression in type inference dealising infer regression should compile
#11660 opened Aug 4, 2019 by japgolly Backlog
1
Implicit parameter not resolved from path-dependent type of another parameter’s default value fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) implicit infer typer
#11571 opened Jun 16, 2019 by julienrf Backlog
5
Function parameter types not inferred in the presence of default arguments fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer typer
#11322 opened Dec 19, 2018 by lihaoyi Backlog
4
Lower Bounds Error: value is not a member of type parameter infer typer
#11313 opened Dec 14, 2018 by ansvonwa Backlog
2
Worse type inference when writing (x: Foo[_ >: A]) as opposed to [A1 >: A](x: Foo[A1]) fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer library:collections minimized typer usability
#10920 opened Jun 4, 2018 by smarter 3.x
10
Type inference error for abstract class constructor enhancement infer
#10830 opened Apr 16, 2018 by Lasering Backlog
7
Inconsistent type alias expansion dealias compiler isn't dealiasing when it should, or vice versa infer should compile
#10750 opened Feb 27, 2018 by carymrobbins Backlog
4
Type inference fails when type is set explicitly infer typer
#10720 opened Feb 14, 2018 by frozenspider Backlog
3
Compatible types don't bind: found Iterable[Char] [error] required: Iterable[A] infer should compile
#10716 opened Feb 10, 2018 by hmf
1
failure to infer hk type parameter infer should compile
#10653 opened Dec 11, 2017 by martijnhoekstra Backlog
2
lub for structural types computes wrong result fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer
#10593 opened Nov 6, 2017 by keikonakata Backlog
3
Incomplete type inference: Pattern matching does not widen expected pattern types fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer patmat
#10503 opened Sep 7, 2017 by Blaisorblade Backlog
2
ProTip! Follow long discussions with comments:>50.