Adam V

I tried SCROLLUP and SCROLLDOWN key without success. I presume there are extra parameters necessary to make this work, but I do not see a special case to provide these.

inline match breaks simple example, documentation?

10

## Compiler version 3.0.2 ## Minimized code ```Scala (transparent) inline def f(x: Int) = inline x match case 1 => 1 case _ => 0 @main def m = val...

Invalid refutable pattern warning with Tuple

2

## Compiler version 3.2.1-RC1-bin-20220904-b5fea82-NIGHTLY ## Minimized code While investigating , I noticed `*:`-tuples in unapply return raise refutable pattern warnings. ```Scala class Foo object Foo: // def unapply(f: Foo): (Int,...

Problem with Type of `Tuple.map` (was: type inference regression)

6

## Compiler version Works fine in 3.2.0, fails in 3.2.1-RC1-bin-20220904-b5fea82-NIGHTLY ## Minimized code ```Scala import language.implicitConversions class Inverse[F[_], G[_]] type MatchSome[X] = X match { case Some[t] => t }...

transform.PatternMatcher crash on extracting exported macro-generated unapply

1

## Compiler version 3.2.1-RC1-bin-20220904-b5fea82-NIGHTLY ## Minimized code I failed to minimize the code and [published the code](https://github.com/Adam-Vandervorst/MacroLoop/tree/destruct-bug) (sbt `> test`). [Usage site](https://github.com/Adam-Vandervorst/MacroLoop/blob/8a1e0b676b67f50fa4d7c970ee32419554a354b4/collection/src/test/scala/VectorBasic.scala#L30): ```Scala println(SizedVector.unapply(v1)) // works fine, prints `(2,3)` val...

## Compiler version 3.4.1 ## Minimized code ```Scala trait Poly trait -->[X, Y] extends Poly trait +[X, Y] extends Poly trait *[X, Y] extends Poly type Hinze[X v => Hinze[(k1...

The match type contains an illegal case; what makes it illigal?

1

## Compiler version 3.4.1 ## Minimized example ```Scala trait Poly trait -->[X (k2 --> v) } ``` ## Output Error/Warning message ```scala The match type contains an illegal case: case...

Override LongMap updateWith, add transformValue and transformValueDefault

1

LongMap's is a performance oriented addition, yet updating it requires two lookups because the updateWith function is delegated to MapOps. Furthermore, updateWith deals with the 'XT' `Option[A] => Option[A]` remap...

Allow both guards and destructing in case

1

### Description When matching, you have to choose to use a pattern binder with the `@` notation or to destruct. A lot of expressivity could be gained by allowing both,...