scala/scala3 issues and pull requests

#18563 - Fix #18234: Warn of identifiers with $ in their name

Pull Request - State: open - Opened by fernandofpd almost 2 years ago - 5 comments

#18529 - Java type name resolution with wildcard imports is incorrect

Issue - State: closed - Opened by andrew-boyarshin almost 2 years ago
Labels: itype:bug, area:typer, compat:java

#18517 - Compiler crash with SuspendException happening during PostTyper

Issue - State: closed - Opened by smarter almost 2 years ago - 5 comments
Labels: itype:bug, itype:crash, area:metaprogramming:quotes

#18450 - Type inference not working for extension method using prefixless extension

Issue - State: closed - Opened by prolativ almost 2 years ago - 2 comments
Labels: itype:bug, area:typer, area:extension-methods

#18446 - Compiler should not allow to access Java protected static method defined in different package

Issue - State: open - Opened by WojciechMazur almost 2 years ago - 4 comments
Labels: itype:bug, area:typer, compat:java

#18400 - Get linting information from Typer instead of recreating its logic

Pull Request - State: open - Opened by szymon-rd almost 2 years ago - 3 comments

#18388 - Spurious "unused local definition" for type parameter of polymorphic function within a block

Issue - State: closed - Opened by felher almost 2 years ago - 1 comment
Labels: itype:bug, area:linting

#18341 - `-Wunused:nowarn` falsely reports that an annotation does not suppress any warnings

Issue - State: closed - Opened by mrdziuban almost 2 years ago
Labels: itype:bug, area:linting

#18338 - throw error on ambiguous overload with methods and functions

Pull Request - State: closed - Opened by iusildra almost 2 years ago - 2 comments

#18313 - Unused import falsely reported when used in named argument

Issue - State: open - Opened by 2m almost 2 years ago - 1 comment
Labels: itype:bug, area:linting

#18294 - Ambiguously overloaded methods fail to error when assigned to a val

Issue - State: closed - Opened by jchyb about 2 years ago - 6 comments
Labels: itype:bug, area:typer, area:overloading

#18255 - "No given instance" shadows more fundamental error: "Missing type parameter"

Issue - State: open - Opened by Sporarum about 2 years ago - 5 comments
Labels: itype:bug, area:reporting, area:typer, area:implicits

#18196 - False non-exhaustive match report.

Issue - State: open - Opened by ftucky about 2 years ago - 2 comments
Labels: itype:bug, area:pattern-matching

#18150 - FTypePolymorphism does not type check correctly using `typeChecks`

Issue - State: closed - Opened by dhinojosa about 2 years ago - 2 comments
Labels: itype:enhancement, area:reporting, area:metaprogramming:compiletime

#18132 - Lowercase identifier in match-type pattern is treated as a reference instead of a binding

Issue - State: open - Opened by Sporarum about 2 years ago - 17 comments
Labels: itype:bug, area:match-types

#18111 - type error member not found, when clearly the class has the member

Issue - State: open - Opened by bishabosha about 2 years ago - 1 comment
Labels: itype:bug, area:typer, stat:needs minimization

#18097 - top level extension method dealiases opaque type in result type

Issue - State: closed - Opened by artembakhanov about 2 years ago - 5 comments
Labels: itype:bug, area:extension-methods, area:opaque-types

#18052 - Unreachable case in TypeTest

Issue - State: open - Opened by bblfish about 2 years ago - 4 comments
Labels: itype:bug, area:pattern-matching

#17951 - Fix #17667 account for import order

Pull Request - State: closed - Opened by PaulCoral about 2 years ago - 4 comments

#17939 - Compiler crash when annotated types contain certain trees

Issue - State: closed - Opened by mbovel about 2 years ago - 5 comments
Labels: itype:bug, area:annotations, itype:crash

#17906 - Document nowarn options

Issue - State: open - Opened by matthughes about 2 years ago - 5 comments
Labels: area:documentation

#17753 - `-Wunused:locals` gives false positives for some calls to transparent inline functions

Issue - State: open - Opened by matil019 about 2 years ago - 5 comments
Labels: itype:bug, area:linting

#17738 - `infix` keyword is allowed where it has no effect, and has undocumented uses

Issue - State: open - Opened by Sporarum about 2 years ago - 3 comments
Labels: itype:bug, area:reporting, area:parser, area:specification

#17667 - `-Wunused:import` gets confused on import both locally and globally in file

Issue - State: open - Opened by amumurst about 2 years ago - 4 comments
Labels: itype:bug, area:linting

#17603 - Implicit resolution in for comprehension leaks implementation detail that it's invoked at yield point

Issue - State: open - Opened by andrzejressel about 2 years ago
Labels: itype:bug, area:reporting, area:metaprogramming:quotes

#17602 - Check bounds in match type case bodies

Pull Request - State: closed - Opened by dwijnand about 2 years ago - 2 comments

#17516 - Accommodate quasi-constant annotation

Pull Request - State: open - Opened by som-snytt about 2 years ago - 1 comment

#17445 - Copying of function application with default parameter in macro cause an error with -Xcheck-macro. (regression)

Issue - State: open - Opened by rssh about 2 years ago - 1 comment
Labels: itype:bug, area:metaprogramming:reflection, needs-sip

#17444 - Implement separation checking

Pull Request - State: closed - Opened by Linyxus about 2 years ago - 2 comments

#17413 - Fewer braces breaks rewrites

Issue - State: open - Opened by ckipp01 about 2 years ago - 7 comments
Labels: itype:bug, area:rewriting tool

#17394 - `-Wunused:imports` causes an error on methods that come from an external library

Issue - State: closed - Opened by arainko about 2 years ago - 7 comments
Labels: itype:bug, area:linting

#17371 - 3.3.0-RC5 -Wunused:imports false positive for imports that "shadow" other imports

Issue - State: open - Opened by Lasering about 2 years ago - 3 comments
Labels: itype:bug, area:linting

#17329 - Inline traits for specialization in Scala 3

Pull Request - State: closed - Opened by timotheeandres over 2 years ago
Labels: stat:revisit, area:inline, area:experimental

#17321 - [Unfinished Spree PR] Fix i12460

Pull Request - State: closed - Opened by Sporarum over 2 years ago - 6 comments

#17315 - WarnUnsued false positive when using aliased imports from local value

Issue - State: closed - Opened by WojciechMazur over 2 years ago - 2 comments
Labels: itype:bug, area:linting

#17294 - Stale symbol crash

Issue - State: closed - Opened by soronpo over 2 years ago - 7 comments
Labels: itype:bug, area:typer, itype:crash, area:metaprogramming:quotes

#17252 - Report unused transparent inline imports

Issue - State: open - Opened by szymon-rd over 2 years ago
Labels: itype:bug, area:inline, area:linting

#17243 - Compiler error with multiple inline methods with parameters of opaque types

Issue - State: open - Opened by natsukagami over 2 years ago - 1 comment
Labels: itype:bug, area:inline, area:opaque-types

#17226 - Scaladoc: `this.type` in type bounds is incorrectly rendered as enclosing class/trait

Issue - State: open - Opened by Florian3k over 2 years ago
Labels: itype:bug, area:doctool

#17222 - Anonymous trait mixin breaks inline match + erasedValue + summonInline

Issue - State: closed - Opened by kavedaa over 2 years ago - 10 comments
Labels: itype:bug, area:inline

#17216 - Pattern decomposition failing in for comprehension for Either

Issue - State: closed - Opened by Andrapyre over 2 years ago - 16 comments
Labels: itype:enhancement, area:desugar

#17204 - Unspecified behaviour of match type on exact higher order type

Issue - State: closed - Opened by WojciechMazur over 2 years ago - 9 comments
Labels: area:reporting, area:match-types, Spree

#17201 - Cyclic reference on exports in package object/top-level

Issue - State: open - Opened by susliko over 2 years ago
Labels: itype:bug, area:implicits

#17188 - Pattern Matching : Wrong Unreachable case warning

Issue - State: open - Opened by ftucky over 2 years ago - 7 comments
Labels: itype:bug, area:pattern-matching

#17132 - "children of trait were already queried before class was discovered" due to match type used

Issue - State: open - Opened by Verntrax over 2 years ago - 3 comments
Labels: itype:bug, itype:enhancement, area:match-types

#17113 - introduce scalafmt for dotty codebase

Issue - State: closed - Opened by doofin over 2 years ago - 1 comment
Labels: itype:question

#17061 - WUnused: Fix for symbols with synthetic names and unused transparent inlines

Pull Request - State: closed - Opened by szymon-rd over 2 years ago - 3 comments
Labels: backport:done

#17044 - Update libretto community project

Pull Request - State: closed - Opened by TomasMikula over 2 years ago - 3 comments

#17023 - scaladoc should take -Werror/-Xfatal-warnings into account

Pull Request - State: open - Opened by mkurz over 2 years ago - 5 comments

#17007 - Macro annotation that processes inlined tree crashes under `-Ycheck:all`

Issue - State: open - Opened by pweisenburger over 2 years ago - 2 comments
Labels: itype:bug, itype:crash, area:metaprogramming:reflection, area:private options, stat:changed in next

#17000 - Incorrect pretty-print for right-associative extension methods

Issue - State: open - Opened by Sporarum over 2 years ago - 5 comments
Labels: itype:bug, area:ide

#16924 - Extend pattern type constraining to sealed hierarchies

Pull Request - State: closed - Opened by dwijnand over 2 years ago - 4 comments

#16830 - infinite loop with implicit conversions

Issue - State: open - Opened by bertlebee over 2 years ago - 2 comments
Labels: itype:enhancement, area:reporting, area:implicits

#16815 - Right associative extension method allow apparent forward reference between parameters

Issue - State: closed - Opened by Sporarum over 2 years ago - 1 comment
Labels: itype:bug, area:reporting, area:typer, area:extension-methods, better-errors

#16782 - Scala 3 macro cannot match abstract types

Issue - State: open - Opened by Atry over 2 years ago - 6 comments
Labels: itype:bug, area:gadt, area:metaprogramming:quotes

#16756 - Higher kind of polymorphic function with dependent type generates weird error information

Issue - State: closed - Opened by tribbloid over 2 years ago - 4 comments
Labels: itype:bug, area:polyfunction

#16723 - Warn or optimize when inline given inlines anonymous class creation

Issue - State: closed - Opened by szymon-rd over 2 years ago - 8 comments
Labels: itype:enhancement, area:inline

#16676 - Type toString for both mono and polymorphic functions uses the plain-printed output

Issue - State: open - Opened by Sporarum over 2 years ago - 7 comments
Labels: area:reporting, area:polyfunction

#16619 - Adding a check that normal symbols all have a position

Issue - State: open - Opened by Sporarum over 2 years ago
Labels: itype:enhancement, prio:low, area:transform

#16436 - Align main compiler and test compiler a bit

Pull Request - State: closed - Opened by odersky over 2 years ago - 2 comments

#16316 - Metaprogramming queries over TASTy

Issue - State: closed - Opened by aherlihy over 2 years ago - 1 comment
Labels: Semester Project, stat:taken

#16304 - Allow import language.experimental.captureChecking in the REPL

Pull Request - State: open - Opened by mbovel over 2 years ago

#16258 - Implicit class which extends `Dynamic` doesn't work

Issue - State: closed - Opened by plokhotnyuk over 2 years ago - 11 comments
Labels: itype:bug, stat:needs triage

#16250 - REPL : pureFunctions and captureChecking fail with "language import only allowed at toplevel"

Issue - State: open - Opened by rjolly almost 3 years ago - 10 comments
Labels: itype:bug, area:repl, cc-experiment, area:experimental:cc

#16160 - Don't propagate imports into inlined code

Pull Request - State: closed - Opened by odersky almost 3 years ago - 8 comments

#16144 - Generalize named type arguments

Pull Request - State: closed - Opened by odersky almost 3 years ago - 1 comment

#16108 - Scala 2 regression: Overloads trigger erroneous lambda auto-untupling when applying implicit conversion to a lambda

Issue - State: closed - Opened by neko-kai almost 3 years ago - 1 comment
Labels: itype:bug, area:typer, regression:scala2

GitHub / scala/scala3 issues and pull requests