bug

bug copied to clipboard

## Reproduction steps Scala version: 2.13.12 infinite recursion in `@specialized` methods is nothing new, but, everything I saw so far involved multiple definitions of a method, and a call to...

noresttherein

Unspecialized method on a `@specialized` class calls `AnyRef` variant of method with an `Array[E @uncheckedVariance]` argument (and not erased).

1

## Reproduction steps Scala version: 2.13.12 ```scala trait Ops[@specialized(Int) +T, C] { protected[this] def array :Array[T] def copy :C = fromSpecific(array) def fromSpecific(array :Array[T @uncheckedVariance]) :C } class Spec[@specialized(Int) T](val...

noresttherein

Inconsistency in handling implicit conversion `Null => Int`

1

Either both should compile or neither. ```scala scala> def foo(b: Null): Int = b ^ error: an expression of type Null is ineligible for implicit conversion scala> def foo(b: Null...

sir-wabbit

Incomplete substitution of type parameters in extension methods

5

This occurs when combining `AnyVal` extension methods and the `Aux` pattern for dependent types. ```scala trait DepFn[A] { type B; def apply(a: A): B } object DepFn { type Aux[A,...

joroKr21

Compiler crashes with code involving `return` inside `try`

12

Scala 2.12 (both .0 and .1) compiler crashes when trying to compile my project. Specifically, it throws the following exception: ``` scala.tools.asm.tree.analysis.AnalyzerException: While processing switchwalker/Inspector.inspect .... Caused by: scala.tools.asm.tree.analysis.AnalyzerException: Error...

scabug

Structural type parameter bounds do not work as expected

10

```scala scala> trait Op { type Cap } defined trait Op scala> def f[O

scabug

Inconsistent `copyToArray` semantics between `IterableOnceOps` and `Vector` (and some other collections).

7

## Reproduction steps Scala version: 2.13.12 I made another attempt to bring semantics of my collections exactly in line with the standard library and failed miserably. I hinted at it...

noresttherein

-Ycheck reports false positives for existentials in the expected type

1

`Main.scala`: ```scala package test object Main { def main(args: Array[String]): Unit = { val c: Class[_] = classOf[String] println(c) foo(classOf[String]) } def foo(c: Class[_]): Unit = println(c) } ``` Invocation:...

sjrd

VerifyError with separate compilation and method/Object flattening

23

Here is the smallest case I could generate: ```scala scala> def foo = { class Foo { class Bar { val b = 2 }}; val f = new Foo;...

scabug

Type parameters in projections to generic superclass are not resolved from bytecode

2

The following example compiles fine when the Java sources are available to the Scala compiler, but fails when compiling Java and Scala code separate: ```java // Base.java public abstract class...

scabug