I was asked to consider how specialization should interact with SIP-23. Here is a quick test I did with some thoughts on where we are now versus where we should be.
tlc.scala for the code and
tlc.bytecode for the Java
bytecode that code produced (using Typelevel Scala with the
-Yliteral-types flag enabled).