Infer

A type class that records at compile time which JVM type A maps to.

Invariant in A, so primitive evidence cannot accidentally satisfy Infer[Nothing] and fallback evidence cannot drive output inference toward Any when the precise primitive type is available.

Adding (implicit jt: JvmType.Infer[A]) to a method is always source-compatible — it never fails to resolve.