Trivial type test that always succeeds.
the type for both the input and output of the type test, ensuring the test always succeeds
Scala 3Scala 3