scala/scala3 issues and pull requests

#21520 - Handle NoType in TypeComparer.disjointnessBoundary

Pull Request - State: closed - Opened by wjoel 11 months ago - 2 comments

#21519 - [scaladoc] fix: Only trim one newline when preprocessing the content of a markdown code snippet

Pull Request - State: closed - Opened by KacperFKorban 11 months ago

#21517 - Handle type aliases in contextFunctionResultTypeAfter

Pull Request - State: closed - Opened by wjoel 11 months ago

#21514 - WIP - Performance improvement to global initialization checker

Pull Request - State: open - Opened by liufengyun 11 months ago

#21510 - Print parens for single method argument only if a direct tuple type

Pull Request - State: closed - Opened by wjoel 11 months ago

#21509 - Inference fails to properly use equality evidence

Issue - State: open - Opened by kyouko-taiga 11 months ago - 2 comments
Labels: itype:language enhancement, area:typer, area:extension-methods, needs-sip

#21508 - No need to unbox if expected type is LhsProto

Pull Request - State: closed - Opened by Linyxus 11 months ago

#21507 - Spurious reach capability error for assignment to a local variable

Issue - State: closed - Opened by Linyxus 11 months ago
Labels: itype:bug, area:experimental:cc

#21466 - Remove tvars introduced while testing normalizedCompatible

Pull Request - State: open - Opened by dwijnand 11 months ago - 2 comments

#21445 - Add path support for capture checking

Pull Request - State: closed - Opened by noti0na1 11 months ago - 6 comments

#21436 - Enhancements to ScalaDoc: New Features Implemented

Pull Request - State: open - Opened by sai-prasad-1 11 months ago - 2 comments

#21433 - Unhandled exception while running erasure

Issue - State: closed - Opened by abosshard 11 months ago
Labels: itype:bug, area:erasure, itype:crash

#21429 - Scaladoc removes indentation of first line, making code incorrect

Issue - State: closed - Opened by JD557 11 months ago
Labels: itype:bug, area:doctool

#21426 - `experimental.modularity` breaks `as`-named infix type

Issue - State: closed - Opened by TomasMikula 11 months ago - 1 comment
Labels: itype:bug, stat:duplicate, area:experimental, area:experimental:modularity

#21423 - feat: show inferred type on holes in hover [skip ci]

Pull Request - State: closed - Opened by kasiaMarek 11 months ago - 3 comments
Labels: release-notes

#21421 - use new infer expected type for singleton complations

Pull Request - State: closed - Opened by kasiaMarek 11 months ago
Labels: area:presentation-compiler

#21420 - Regression for `-Wunused:import` in `business4s/decisions4s`

Issue - State: closed - Opened by WojciechMazur 11 months ago - 3 comments
Labels: itype:bug, regression, area:linting

#21419 - "Deferred inline" error when calling inline methods on a type class

Issue - State: open - Opened by torgeirsh 11 months ago
Labels: itype:bug, area:inline

#21414 - Avoid using the current denotation in NamedType.disambiguate

Pull Request - State: open - Opened by jchyb 11 months ago

#21413 - Cannot select from named tuple literal

Issue - State: open - Opened by prolativ 11 months ago - 2 comments
Labels: itype:bug, area:experimental:named-tuples

#21411 - Fix enclosingClass from returning refinement classes

Pull Request - State: closed - Opened by dwijnand 11 months ago - 1 comment

#21410 - Overloading resolution incorrectly drops alternative with match type result when a target type is provided

Issue - State: closed - Opened by smarter 11 months ago - 1 comment
Labels: itype:bug, area:match-types, area:overloading

#21405 - Import outside a package clause is not shadowed by an import inside the package clause

Issue - State: open - Opened by som-snytt 11 months ago - 4 comments
Labels: itype:bug, area:import

#21402 - No workaround to dependent-type match types after SIP-56

Issue - State: open - Opened by WojciechMazur 11 months ago - 8 comments
Labels: itype:bug, area:typer, area:match-types, regression, area:spec

#21395 - [SUPERSEDED] Undo patch of double-block apply

Pull Request - State: closed - Opened by som-snytt 12 months ago - 4 comments

#21391 - Match type fails to reduce when it doesn't look like it needs to reduce

Issue - State: open - Opened by s5bug 12 months ago - 1 comment
Labels: itype:bug, area:typer, area:match-types

#21383 - assertion failed: position not set for new com.augustnagro.magnum.SqlName # -1 of class dotty.tools.dotc.ast.Trees$Select

Issue - State: open - Opened by fdietze 12 months ago - 5 comments
Labels: itype:bug, area:typer, itype:crash, stat:needs minimization, area:incremental-compilation, stat:needs fix upstream

#21382 - `-indent` `-rewrite` can produce inparsable code for curried methods taking triple-quote arguments

Issue - State: open - Opened by WojciechMazur 12 months ago - 3 comments
Labels: itype:bug, area:rewriting tool, area:parser

#21365 - Unexpected warning when `@main` is used twice within a single object

Issue - State: closed - Opened by Gedochao 12 months ago - 2 comments
Labels: itype:bug, area:annotations, area:reporting, better-errors

#21361 - Improve Contains handling

Pull Request - State: closed - Opened by odersky 12 months ago

#21350 - Fixes for cleanup retains scheme

Pull Request - State: closed - Opened by odersky 12 months ago - 2 comments

#21348 - Scala 3 generated @main function is generated in package scope

Issue - State: closed - Opened by ekrich 12 months ago - 12 comments
Labels: itype:enhancement, area:annotations, area:initialization

#21347 - Polymorphic capture functions can be exploited to hide captures

Issue - State: closed - Opened by Linyxus 12 months ago - 1 comment
Labels: itype:bug, area:experimental:cc

#21336 - Add a 3.6-migration warning for MT lubbing

Pull Request - State: closed - Opened by dwijnand 12 months ago

#21329 - Require named arguments for java defined annotations

Pull Request - State: closed - Opened by hamzaremmal 12 months ago
Labels: release-notes, needs-minor-release

#21315 - Extension method with old syntax provokes Recursion limit exceeded

Issue - State: open - Opened by DavidPerezIngeniero 12 months ago - 1 comment
Labels: itype:bug, stat:needs info, area:implicits, area:extension-methods

#21309 - Fix setup of CapSet arguments.

Pull Request - State: closed - Opened by odersky 12 months ago - 1 comment

#21301 - Named Tuple element selectable even when multiple elements have same name

Issue - State: closed - Opened by kavedaa 12 months ago - 8 comments
Labels: itype:bug, area:named-tuples

#21297 - Java collection conversions

Issue - State: open - Opened by DavidPerezIngeniero 12 months ago - 1 comment
Labels: itype:bug, stat:needs minimization, area:extension-methods, regression:scala2

#21278 - Performance improvement: use provisional state for better cache reuse; refactor TermRef widening logic

Pull Request - State: closed - Opened by noti0na1 about 1 year ago - 9 comments

#21271 - Compiler crashes when combining lazy val and macros

Issue - State: closed - Opened by WojciechMazur about 1 year ago - 2 comments
Labels: itype:bug, itype:crash, regression, area:metaprogramming:reflection

#21264 - Regression in implicit search in mixed implicit/givens sources

Issue - State: closed - Opened by WojciechMazur about 1 year ago - 12 comments
Labels: itype:bug, area:implicits, regression

#21260 - Capture the kse3 issue in test cases and close it

Pull Request - State: closed - Opened by dwijnand about 1 year ago - 15 comments

#21258 - Auto-approximating bound for match types caused changes in erasure, which are TASTy- and binary incompatible

Issue - State: closed - Opened by sjrd about 1 year ago - 1 comment
Labels: itype:bug, area:typer, prio:high, area:match-types

#21257 - Switch mapping of context bounds to using clauses in 3.6

Pull Request - State: closed - Opened by odersky about 1 year ago - 6 comments
Labels: release-notes

#21256 - The auto-approximated bound for match types leaks type captures

Issue - State: closed - Opened by sjrd about 1 year ago - 1 comment
Labels: itype:bug, area:typer, area:match-types

#21242 - Add a setting/API to run a code snippet/script in the REPL on startup

Issue - State: open - Opened by Gedochao about 1 year ago - 1 comment
Labels: itype:enhancement, area:repl

#21230 - Bump jekyll from 3.6.3 to 4.3.3 in /docs/_spec

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies, ruby

#21228 - Scaladoc is years before the language and creates `opaque object`s

Issue - State: closed - Opened by KacperFKorban about 1 year ago - 4 comments
Labels: itype:bug, area:doctool, Spree

#21225 - There is no way to create `Selector`s in macros

Issue - State: closed - Opened by joan38 about 1 year ago - 3 comments
Labels: itype:language enhancement, area:metaprogramming:other

#21208 - Revised given syntax

Pull Request - State: closed - Opened by odersky about 1 year ago - 2 comments

#21207 - compiler should generate error "method foo1 in class C must be called with () argument" for inherited nullary method without arguments that has extra overloaded function in child class

Issue - State: open - Opened by unkarjedy about 1 year ago - 6 comments
Labels: itype:bug, area:overloading, area:spec

#21204 - Check Java protected static in RefChecks

Pull Request - State: open - Opened by bracevac about 1 year ago

#21198 - Enable betterMatchTypeExtractors in >= 3.6

Pull Request - State: closed - Opened by mbovel about 1 year ago - 4 comments
Labels: needs-minor-release

#21194 - `NamedTuple.Names` and `NamedTuple.DropNames` not working as expected

Issue - State: closed - Opened by kavedaa about 1 year ago - 3 comments
Labels: stat:duplicate

#21185 - Extend compiletime.testing.typechecks with certain transform phases

Pull Request - State: closed - Opened by jchyb about 1 year ago - 6 comments

#21178 - Do not crash when typing a closure with unknown type, since it can occur for erroneous input

Pull Request - State: closed - Opened by KacperFKorban about 1 year ago

#21177 - `getGenericInterfaces` and `getInterfaces` are not the same length after extending a generic Java class

Issue - State: open - Opened by rrramiro about 1 year ago - 2 comments
Labels: itype:bug, compat:java, regression:scala2

#21176 - Compiler fails in generic inline method that uses macro with 'safe-init'

Issue - State: open - Opened by st33v3 about 1 year ago - 2 comments
Labels: itype:bug, itype:crash, area:inline

#21158 - Add powershell scripts

Pull Request - State: open - Opened by hamzaremmal about 1 year ago - 5 comments
Labels: stat:do not merge, release-notes, needs-minor-release

#21157 - Cannot get names + values from term of type AnyNamedTuple

Issue - State: closed - Opened by aherlihy about 1 year ago - 5 comments
Labels: itype:bug, area:named-tuples

#21122 - Issues with implicit lookup within macros, when object type is resolved from typeRepr.typeSymbol.children

Issue - State: open - Opened by MateuszKubuszok about 1 year ago
Labels: itype:bug, area:typer, area:inline, area:metaprogramming:quotes

#21109 - Respect export alias for default arg forwarder

Pull Request - State: closed - Opened by som-snytt about 1 year ago - 1 comment

#21107 - object caps does not have a member type Cap

Issue - State: closed - Opened by jxnu-liguobin about 1 year ago - 6 comments
Labels: itype:bug, area:classpath, itype:crash, stat:needs minimization

#21070 - Do not propagate `TypeError`s of ops from `TypeComparer#tryAlso`

Pull Request - State: closed - Opened by EugeneFlesselle about 1 year ago

#21015 - Regression in 3.5: Infinite recursion during typecheck of polymorphic-recursion with match types

Issue - State: closed - Opened by Odomontois about 1 year ago - 3 comments
Labels: itype:bug, area:pattern-matching, area:match-types, regression

#21011 - Set baseVersion to 3.6.0 instead of 3.6.0-RC1

Pull Request - State: closed - Opened by hamzaremmal about 1 year ago

#21000 - Fix a bundle of patmat issues

Pull Request - State: closed - Opened by dwijnand about 1 year ago

#20991 - Enable all Presentation Compiler tests on the CI for PRs (including Windows tests)

Issue - State: closed - Opened by Gedochao about 1 year ago - 3 comments
Labels: area:testing, itype:meta, area:ci

#20987 - Implement SIP 57 - add runtimeChecked method and annotation

Pull Request - State: closed - Opened by bishabosha about 1 year ago - 2 comments
Labels: release-notes

#20973 - Refine ignored cases for unused params check

Pull Request - State: open - Opened by jan-pieter about 1 year ago - 1 comment

#20952 - Refinement with parent trait super call is refused when class is in a different package

Issue - State: closed - Opened by sankalpgambhir about 1 year ago - 1 comment
Labels: itype:bug, area:transform, regression

#20951 - Missing unused warnings for lambdas parameters

Issue - State: open - Opened by mbovel about 1 year ago - 4 comments
Labels: itype:bug, area:linting

#20913 - Disallow some opaque type aliases in match type patterns

Pull Request - State: open - Opened by odersky about 1 year ago - 2 comments

#20894 - In selector check, prefix of reference must match import qualifier

Pull Request - State: open - Opened by som-snytt about 1 year ago - 19 comments

#20861 - Stabilise SIP-47 (Adding Clause Interleaving to method definitions)

Pull Request - State: closed - Opened by hamzaremmal about 1 year ago - 6 comments
Labels: release-notes, needs-minor-release

#20769 - Stabilise SIP 47 - Clause Interleaving

Issue - State: closed - Opened by bishabosha about 1 year ago - 3 comments
Labels: itype:language enhancement, area:parser, needs-minor-release

#20768 - java.lang.AssertionError: assertion failed: TS[753540, 753539, 753538] attempted to take ownership of B which is already owned by committable TS[808807, 753540, 753539, 753538]

Issue - State: open - Opened by rleibman about 1 year ago - 6 comments
Labels: itype:bug, area:typer, itype:crash, stat:needs minimization

GitHub / scala/scala3 issues and pull requests