Skip to content

Commit b56543e

Browse files
Reclassify dubious test
13469.scala is quite weird because the RemoveStrict type relies on type evaluation order. With this change, the type arguments of *: are always normalized and we run into a non-reducible match type every time. So that definition is just fundamentally broken since it's only well defined with an infinite list.
1 parent 035bff6 commit b56543e

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

tests/pos/13469.scala renamed to tests/neg/13469.scala

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -36,12 +36,12 @@ object Meta:
3636

3737
object Foo:
3838
import Meta._
39-
val _0: Sub["batch" *: EmptyTuple, Int *: EmptyTuple, "batch"] = "batch"
40-
val _1: Sub[("batch", "len"), ("batch", "len"), "batch"] = "batch"
41-
val _2a: ReplaceAllStrict[("batch", "len", "embed"), "batch" *: EmptyTuple, "b"] = ("b", "len", "embed")
39+
val _0: Sub["batch" *: EmptyTuple, Int *: EmptyTuple, "batch"] = "batch" // error
40+
val _1: Sub[("batch", "len"), ("batch", "len"), "batch"] = "batch" // error
41+
val _2a: ReplaceAllStrict[("batch", "len", "embed"), "batch" *: EmptyTuple, "b"] = ("b", "len", "embed") // error
4242
type S = ("batch", "len")
4343
type ToReplace = "batch" *: EmptyTuple
4444
type Replacement = "b"
45-
val _2b: ReplaceAllStrict[S, ToReplace, Replacement] = ("b", "len") // ok
46-
val _2c: Demote[ReplaceAllStrict[S, ToReplace, Replacement]] = ("b", "len") // ok
45+
val _2b: ReplaceAllStrict[S, ToReplace, Replacement] = ("b", "len") // error
46+
val _2c: Demote[ReplaceAllStrict[S, ToReplace, Replacement]] = ("b", "len") // error // error
4747
val _2d: Sub[S, ToReplace, Replacement] = ("b", "len") // error, see below

0 commit comments

Comments
 (0)