bug
bug copied to clipboard
scala
Scala 2 bug reports only. Please, no questions — proper bug reports only.
Java 16+ (before that, inner classes like `U` below were not allowed to declare static members. the restrictions were lifted as part of https://openjdk.java.net/jeps/395). ```java public class C { public...
The bug looks very arcane, and I did not manage to reduce it to a simple self-contained example. Here is a [permanent link](https://github.com/epfldata/squid/blob/cb305c7b7e7d17c9123c0ec1e823e8aa9a1c300c/core/src/main/scala/squid/quasi/MetaBases.scala#L125-L127) to the place where the problematic method...
```scala trait T[+X] { def x: X } class C { type TT[+X] = T[X] def it(): TT[_] = new TT[String] { def x = "" } } ``` ```...
## reproduction steps using Scala 2.13.7, ```scala object Main { /// Shapeless trait Lazy[T] object Lazy { implicit def apply[T](t: => T): Lazy[T] = ??? } /// Newtype trait Coercible[A]...
```scala import scala.language.higherKinds trait B class C[CC[_] 0 } def t2(x: Any) = x.isInstanceOf[C[_]#K] } ``` `t1` fails in type checking, only if `CC` is higher-kinded ``` A.scala:10: error: type...
## Reproduction steps Using Scala `2.13.4` having the following in a file called `test.scala` ```scala object foo { trait Bar { /** Returns a new [[Bar]]. */ def f: Bar...
## reproduction steps using Scala (2.13.3), ```java public interface BaseRootJava { default boolean startInWriteAction() { return true; } } ``` ```java public interface BaseIntermidiateJava extends BaseRootJava { String getText(); @Override...
``` Welcome to Scala 2.13.0 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_202-ea). Type in expressions for evaluation. Or try :help. scala> class Foo[S def Foo[S
The piece of code below compiles in a few seconds with 2.13.5, it takes roughly 15 minutes with 2.13.6 and 2.13.7. Requires `scalacOptions ++= Seq("-Ypatmat-exhaust-depth", "off")` ``` sealed trait Phantom[A]...
``` trait UnsealedTrait def c(c: Option[Int]) = c match { case _: UnsealedTrait =>; case _ => } ``` This should warn, as an `Option` cannot possibly be an `UnsealedTrait`.
