Skip to content

Commit 82a80d6

Browse files
committed
Fix crash: ensure class type is applied
Otherwise, looking up members will crash the compiler
1 parent 10c78f2 commit 82a80d6

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
import scala.compiletime.ops.int._
2+
3+
object Test {
4+
class Vec[S <: Int] {
5+
infix def concat [RS <: Int](that : Vec[RS]) : Vec[S + RS] = new Vec[S + RS]
6+
}
7+
8+
val v1 = new Vec[1]
9+
val v2 = new Vec[2]
10+
val v3 : Vec[3] = v1 concat v2
11+
val v3a = v1 concat v2
12+
val v3b : Vec[3] = v3a
13+
}

0 commit comments

Comments
 (0)