bug

bug copied to clipboard

problem with super in traits in case when build-in java.lang.Object methods was "maliciously" made abstract

4

Consider following code ```scala package crafts object Main { def main(args: Array[String]): Unit = { val obj = new Combined println(s"obj: ${obj}") } class Combined extends SuppressToString with WrapToString abstract...

ibaklan

dealias is not working for Predef.String

9

I am not sure if this is only Predef.String. There may be other classes having the same issue. This bug means we have to always use =:=, instead of ==...

scabug

Inference failing with default argument and type parameter

2

```scala object Test { class Foo[A, B] { def bar[T](v: A => A = (identity _)) = Unit // 2.10 => OK // 2.11 => OK def bar[T](v: A =>...

scabug

TypeVars can't specialize Scope declarations

3

Below are a few examples involving type aliases and refinement types that show how among several equivalent types, some can be resolved implicitly while others cannot. ```scala object Main {...

joroKr21

Conditional optimization: true || x == true, false && y == false, etc.

11

There are four key optimizations that Mondrian's optimizer could make but doesn't. Mondrian's optimizer is smart enough to turn `if (true) a else b` into `a`. To my delight, it...

scabug

correct outer check for match on final inner class

30

=== What steps will reproduce the problem (please be specific and use wikiformatting)? === The following code crashes with a `NoSuchMethodError`: ```scala final class Outer { sealed trait Inner final...

scabug

False positive unreachable code warning with sealed abstract class

13

I will minimize this after Typelevel Summit, but filing a placeholder now. * Scala version: 2.13.0-M5 * Java version: 1.8.0_151 In [this snippet](https://github.com/http4s/http4s/blob/733a82634558bf29b0993404e8665a0d76b920a3/server/src/test/scala/org/http4s/server/middleware/StaticHeadersSpec.scala#L10-L15), the `Ok(req.body)` is [falsely flagged as unreachable...

rossabaker

Compiler stack overflow when using Manifest with recursive existential types

6

```scala class C[T

scabug

please allow value definitions before the first generator in a for comprehension

15

I would like to be able to write this: for{x = foo(bar); y

scabug

Singleton types are lost when used on the left of a right-associative operator

1

``` Welcome to Scala 2.13.0-pre-1f68c6c (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_181). Type in expressions for evaluation. Or try :help. scala> class A[B](val b: B) { def c: List[b.type] =...

xuwei-k