Private lifetime inference

A couple other nits:

redradist:

Type privacy (RFC 2145), impl Trait opacity, auto-trait leakage, orphan rules — all use the same boundary.

Opaque types don't use a crate boundary, and auto-trait leakage has no boundary.

Privacy isn't as straightforward as what the pub(..) annotation says thanks to re-exports.