I tried Match Types for dependent typing in function with lazy argument. And its value was computed at runtime. Is this the expected behavior?
Scastie example: Scastie - An interactive playground for Scala
I thought that type checking is done at compile time. Is there a way to do dependent typing with the preservation of argument laziness in Scala 3?