Type Definition ObjectLifetimeDefault
Other items inrustc_middle::middle::resolve_lifetime
type ObjectLifetimeDefault = Set1<Region>;