Skip to content

Commit

Permalink
Add test for #20377 fixed in #20504
Browse files Browse the repository at this point in the history
  • Loading branch information
EugeneFlesselle committed Jul 9, 2024
1 parent 0e36424 commit fd7a463
Showing 1 changed file with 23 additions and 0 deletions.
23 changes: 23 additions & 0 deletions tests/pos/i20377.scala
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
import language.experimental.namedTuples
import NamedTuple.{NamedTuple, AnyNamedTuple}

// Repros for bugs or questions
class ClassToMap[A]()
abstract class ClassToFind[Rows <: AnyNamedTuple]:
def mapped: NamedTuple.Map[Rows, ClassToMap]

given TDB: ClassToFind[(t1: Int, t2: String)] with
override def mapped = (
t1 = ClassToMap[Int](),
t2 = ClassToMap[String]()
)

type TypeAlias = (t1: Int, t2: String)
class Repro1_Pass(using val testDB: ClassToFind[TypeAlias]) {
def query() =
testDB.mapped.t1
}
class Repro1_Fail(using val testDB: ClassToFind[(t1: Int, t2: String)]) {
def query() =
testDB.mapped.t1 // fails to compile
}

0 comments on commit fd7a463

Please sign in to comment.