-
Notifications
You must be signed in to change notification settings - Fork 89
Open
Labels
bugSomething isn't workingSomething isn't working
Description
Version
1.0-RC1
Scala Version
3.7.4
Expected Behavior
A compile-time error? Probably?
Actual Behavior
[error] java.lang.RuntimeException: fatal: kyo.TypeMap of contents [TypeMap(java.lang.String -> foo, scala.Int -> 42)] missing value of type: [(scala.Int & java.lang.String)].
[error] at kyo.TypeMap$package$TypeMap$.search$1(TypeMap.scala:39)
[error] at kyo.TypeMap$package$TypeMap$.get$$anonfun$1(TypeMap.scala:42)
[error] at scala.collection.MapOps.getOrElse(Map.scala:162)
[error] at scala.collection.MapOps.getOrElse$(Map.scala:160)
[error] at scala.collection.AbstractMap.getOrElse(Map.scala:420)
[error] at kyo.TypeMap$package$TypeMap$.get(TypeMap.scala:42)
...
Steps to Reproduce
import kyo.TypeMap
val m = TypeMap.empty.add[Int](42).add[String]("foo")
val is: Int & String = m.get[Int & String]Current Workaround
No response
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugSomething isn't workingSomething isn't working