noresttherein

Type aliases fool the check for non-finitary class graph

6

## Reproduction steps Scala version: 2.13.8 ```scala object NonFinitary { trait BadJoke[V, +T] trait Root[V] extends Fog[V] //extends BadJoke[V, Another[V]] trait Another[V] extends Root[Option[V]] type Fog[V] = BadJoke[V, Another[V]] }...

StackOverflowError in typer when an existential type is passed to unapply

1

## Reproduction steps Ok, this little pos is a bit complex: ```scala trait POS[O] { type Value } trait BigPOS[V, O] extends POS[O] { type Value = V } trait...

False warning for an unused type alias if its member type is used

1

## Reproduction steps Scala version: 2.13.7 ```scala class Private { private type Curry[A] = { type T[B] = Either[A, B] } def m2[T[A]] :Unit = () m2[Curry[Int]#T] } ``` ##...

## Reproduction steps Scala version: 2.13.7 ```scala type Fixed[F] >: F { type T >: Fixed[F]

Stack overflow in ref-check of a method-local type alias refining a contravariant type parameter of the enclosing class

6

## Reproduction steps In Scala 2.13.8 ```scala type Type[T] = T { type X = Type[T] } ``` Another case: ```scala trait Contra[-F] { def method() :Unit = { type...

Feature request: lazy labels

1

Evaluating labels, if they contain formatted input data, can be somewhat expensive. I'd love to see sibling methods, which take a `=> String` argument. I solved it with a very...

Shrinking goes into semi-infinite recursion

1

Here is a commit, for which [`IteratorExtensionSpec`](https://github.com/noresttherein/sugar/blob/scalacheck_bug/src/test/scala/net/noresttherein/sugar/collections/IteratorExtensionSpec.scala) never ends after entering `Prop.findFirstFailure`: [sugar](https://github.com/noresttherein/sugar/tree/scalacheck_bug). This happens fairly often for me; here is [another one](https://github.com/noresttherein/sugar/commit/431b6bd07b5f109073e4cf4653872534addbce99) Stacktrace: ``` java.lang.Thread.State: RUNNABLE at scala.collection.Iterator.sameElements(Iterator.scala:843) at...

Seq(1).indexOfSlice(Nil, -2)==-2

17

## Reproduction steps Scala version: 2.13.10 Expected: 0, same as in `Vector`. What's worse, `Vector(1).indexOfSlice(List(1), -2) == -2`, too (substitute any `Seq` for `Vector`).

## 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...

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...