scala3

scala3 copied to clipboard

Code does not compile when using `T as v` instead of `using v: T`

6

## Compiler version 3.6.0, 3.7.0, 3.7.1-RC2 ## Minimized code ```scala //> using scala 3.7.0 trait Vectoric[V] { def components: Array[V => Double] def map(a: V)(f: Double => Double): V }...

OndrejSpanel

Add @retainsArg to read-only and reach capabilities

1

- Mark `reachCapability` and `readOnlyCapability` as `@retainsArg`, similar to #20232. - Update tests for retainsArg

natsukagami

False positive unused import of inline given needed by `derives`

3

I've checked other opened issues and it doesn't seem there's one like this (if that's the case, sorry and please close this). Also I'm not sure since when the issue...

aartigao

Compiling with more than 21 given will cause warning

1

## Compiler version 3.6.4 ## Minimized code ```Scala class T1[F[_]] class T2[F[_]] class T3[F[_]] class T4[F[_]] class T5[F[_]] class T6[F[_]] class T7[F[_]] class T8[F[_]] class T9[F[_]] class T10[F[_]] class T11[F[_]]...

hxx0215

## Compiler version 3.7.0 (and latest nightly) ## Minimized code ```scala //> using scala 3.7.0 trait TC[A] object Test: def test1(foo: TC[?]): Unit = foo match case _: TC[?] =>...

smarter

Before this PR, the two for comprehensions in the added test case behaved differently: ```scala -- Error: tests/neg/irrefutable-genfrom.scala:5:10 ----------------------------- 5 | (i, Some(_))

smarter

Make runtimeChecked a standard feature

2

The runtimeChecked implementation was accepted in the SIP meeting of May 23, 2025. Since the feature has been around for long, and is quite uncontroversial, I think we can just...

odersky

Cyclic reference being computed where non exists

1

## Compiler version 3.1.1 ## Minimized code See this Scastie: https://scastie.scala-lang.org/TA9CIzqHS86RzcpAidG2UA ```Scala object Test { import com.typesafe.config.ConfigFactory import io.getquill.* case class H2JObject(obj: Any) val ctx = new H2JdbcContext(CamelCase, ConfigFactory.parseString("")) implicit...

rcano

Scaladoc: fixes and improvements to context bounds and extension methods

5

Closes #21662 More specifically: - Fixed issue with ambiguity of type params in right-associative extension methods (see `\:` and `\\:` in `extensionMethodSignatures.scala`, also see #22170) - Fixed issue with context...

Florian3k

Fix #18763: Run type inference before implicit search

4

Fixes #18763 It seems that the problem is that searching for an instance of `Functor[F]` for the implicit conversion `toFunctorOps` tries all possible variants, because `F` is not constrained in...

Alex1005a