Named unapply selectors accept random names

[KacperFKorban]

Compiler version

91063dd

Minimized code

//> using scala 3.nightly

import scala.language.experimental.namedTuples

case class City(name: String, population: Int)

def getCityInfo(city: City) =
  city match
    case City(iam = n, confused = p) => s"[City] $n has a population of $p !!!!!!!!!!"

@main
def main =
  val city = City(name = "New York", population = 8_000_000)
  println(getCityInfo(city))

Output

[City] New York has a population of 8000000 !!!!!!!!!!

Expectation

Compilation error, that iam and confused aren't fields of the class City

[KacperFKorban]

The problem is most likely that the tryEither here swallows the error.

[rochala]

I fixed this also by accident, not sure if this is correct approach.

I didn't see this issue.
#22242

[KacperFKorban]

@rochala I don't think that it's the same issue. This one is related to the compiler not checking the names of the fields, not the combinations of named/unnamed patterns.
Your second explanation point says something that seems similar to this issue, but you don't change anything there.

[rochala]

Right, your error is still suppresed by tryEither...

https://github.com/lampepfl/dotty/blob/91063dd9939ba26f30a538889162b6832cfc2c19/compiler/src/dotty/tools/dotc/ast/Desugar.scala#L1748

checkWellFormedTupleElems does not verify match of names.

[rochala]

My fix then is not complete, as it will also not report anything from that line, while it should.

[KacperFKorban]

We can just treat them as two separate error (which they sort of are).