EarlyBinder and instantiating parameters
2 points by meithecatte
2 points by meithecatte
Yes, this is developer documentation for rustc internals. But I found this page to be a particularly interesting, unobvious example of how a newtype can help with correctness, so I'm submitting the link nevertheless.