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
25 Open 43 Closed
25 Open 43 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

Type inference involving getClass on private trait doesn't work existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) help wanted typer
#12974 opened Mar 25, 2024 by palanga 2.13.17
@lrytz
8
existential subtyping confuses typevars created by withTypeVars and others existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) typer
#11480 opened Apr 10, 2019 by adriaanm Backlog
2
Passing bounded types as a wildcard existential usability
#10371 opened Jun 15, 2017 by tindzk
2
should compile - existential combined with f bounded polymorphism existential patmat
#10300 opened May 5, 2017 by jhegedus42
2
Existential type not stable existential
#10273 opened Apr 22, 2017 by TomasMikula Backlog
3
False positive warning when returning a tuple of wildcard type existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer
#10142 opened Jan 11, 2017 by scabug Backlog
1
Typecheck failed if an existential type is inlined existential
#10039 opened Nov 10, 2016 by scabug
1
skolemize singleton-typed existentials and improve error message existential
#12208 opened Aug 23, 2016 by adriaanm Backlog
2
dropExistential insufficient when an existential quantifier is bounded by another existential
#11363 opened Jul 6, 2016 by retronym Backlog
1
Existential type exhaustiveness existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) patmat
#9801 opened Jun 3, 2016 by scabug Backlog
1
Wildcard capture goes wrong on nested wildcard existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) infer should not compile
#9419 opened Jul 28, 2015 by scabug Backlog
1
7
forSome scope introduction conflates distinct types existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/) should not compile typer
#9410 opened Jul 19, 2015 by scabug Backlog
1
can't existentially abstract over parameterized type F existential tcpoly typer
#9281 opened Apr 24, 2015 by scabug Backlog
1
problems existentially quantifying prefix of a module type existential typer
#8419 opened Mar 16, 2014 by scabug Backlog
5
F-bounds of existential types aren't inferred existential f-bounds infer
#8198 opened Jan 29, 2014 by scabug Backlog
1
support name-based extractors with existential-returning unapply/unapplySeq existential patmat
#8149 opened Jan 14, 2014 by scabug Backlog
1
existential scoping is hopelessly broken existential typer
#7730 opened Aug 9, 2013 by scabug Backlog
@retronym
4
variance validation is buggy existential
#7536 opened May 30, 2013 by scabug Backlog
6
approximate existential types when checking pattern conformance existential patmat
#6587 opened Oct 30, 2012 by scabug Backlog
3
Compiler stack overflow when using Manifest with recursive existential types compiler crash existential f-bounds typer
#6255 opened Aug 18, 2012 by scabug Backlog
6
correct extrapolation for existential in contravariant position existential infer typer
#4880 opened Aug 6, 2011 by scabug Backlog
3
existentials in structural type signatures existential structural types typer
#4867 opened Aug 2, 2011 by scabug Backlog
1
Existential type does not conform to itself existential fixed in Scala 3 This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)
#2071 opened Jun 18, 2009 by scabug Backlog
5
Cannot match with a bare type variable existential patmat
#621 opened Mar 9, 2008 by scabug Backlog
8
Potential existential variable escape existential
#481 opened Feb 14, 2008 by scabug Backlog
3
ProTip! What’s not been updated in a month: updated:<2025-04-27.