Skip to content

Commit f1f2819

Browse files
committed
Add test for problematic case.
1 parent 6775a28 commit f1f2819

1 file changed

Lines changed: 10 additions & 1 deletion

File tree

core/shared/src/test/scala-3/formless/record/RecordTests.scala

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -950,7 +950,16 @@ class RecordTests extends FunSuite {
950950
val swapped = swap()
951951

952952
assertTypedEquals["a"](swapped.head, select(swapped))
953-
}
953+
}
954+
955+
test("SelectorWithAlias") {
956+
type Alias[K, A] = K ->> (("foo" ->> A) :: ("bar" ->> A) :: HNil)
957+
type X = Alias["test", Unit] :: HNil
958+
val inner = ("foo" ->> ()) :: ("bar" ->> ()) :: HNil
959+
val x: X = ("test" ->> inner) :: HNil
960+
961+
assertTypedEquals[("foo" ->> Unit) :: ("bar" ->> Unit) :: HNil](inner, x("test"))
962+
}
954963

955964
test("FieldTypeOfValueClass") {
956965
val x = RecordTests.aValueClassField ->> RecordTests.AValueClass(1L)

0 commit comments

Comments
 (0)