b128750bc4
Properly document `lifetime_mapping` in `OpaqueTy` Also use an `Option` to signify that the value is actually present, instead of just no captured lifetimes.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.