Skip to content

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.

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
18 Open 25 Closed
18 Open 25 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
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

ClassCastException when omitting a by-name argument that has a default value in enum or superclass constructors area:enums itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#23213 opened May 21, 2025 by raquo
1
ClassCastException when using named pattern one single-component named tuple area:named-tuples Issues tied to the named tuples feature. itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#23131 opened May 9, 2025 by SrTobi
3
ClassCastExcpetion when inheriting from two traits that define conflicting vals area:initialization itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#23061 opened Apr 28, 2025 by alex-aua
1
ClassCastException when using Union type with case object and TypeTest area:union-types Issues tied to union types. itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#22950 opened Apr 9, 2025 by GuillaumeSaintRaymondSonos
Scala 3.6.3: pattern matching abstract types is broken in presence of ClassTag area:pattern-matching itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#22547 opened Feb 6, 2025 by arturaz
1
Array of tuples throws ClassCastException area:tuples itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#22345 opened Jan 11, 2025 by Quafadas
@mbovel
3
ClassCastException: class cannot be cast to class scala.runtime.Nothing$ compat:java itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException) stat:needs minimization Needs a self contained minimization
#22204 opened Dec 12, 2024 by jtjeferreira
12
Method calls should not be allowed on paths area:inline area:spec itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#21788 opened Oct 16, 2024 by lrytz
2
Unsound reduction of match type where the scrutinee's prefix is a param ref area:match-types itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#20518 opened Jun 3, 2024 by smarter
@sjrd
3
Unsound reduction of match types with refined trait member as scrutinee area:match-types itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#20515 opened Jun 3, 2024 by EugeneFlesselle
@sjrd
1
Unsound match type conformance when extending trait from separate compilation area:match-types itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#20189 opened Apr 15, 2024 by EugeneFlesselle
"Ill-scoped" type variables can be bound in patterns area:typer itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#16952 opened Feb 17, 2023 by howtonotwin
2
Comparing Refined Types can lead to invalid subtype reconstruction area:gadt itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#15485 opened Jun 20, 2022 by abgruszecki
1
3
Unsoundness in GADT pattern matching (falsely assumed injectivity) area:gadt itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#13080 opened Jul 15, 2021 by TomasMikula
@abgruszecki
5
Overconstrained GADT bounds in presence of bad bounds area:gadt itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#11545 opened Feb 26, 2021 by mario-bucev 3.0.0
4
@abgruszecki
19
Unsound implementation of singleton type matching itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#9359 opened Jul 13, 2020 by LPTK
@LPTK
35
Unsound use of metaprogramming quotes: future-stage type evidence shouldn't be usable in the current stage area:gadt area:metaprogramming:quotes Issues related to quotes and splices itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#9353 opened Jul 12, 2020 by LPTK
2
Unsound GADT reasoning with equality patterns area:gadt itype:bug itype:soundness Soundness bug (it lets us compile code that crashes at runtime with a ClassCastException)
#9345 opened Jul 11, 2020 by LPTK
@abgruszecki
1
ProTip! Exclude everything labeled bug with -label:bug.