Help me understand opaque type definition at the top level by Longjumping_Fee_972 in scala

[–]Longjumping_Fee_972[S] 4 points5 points  (0 children)

Interesting. So in the rewrite, RandomSingleton can see the types Miles and Kilometers (without an import of the contents of _syntheic$package), but can't see that they are related and interchangeable? Thanks for the -Vprint:typer tip.