Type Definition ObjectLifetimeDefault
rustc_middle::middle::resolve_lifetime
type ObjectLifetimeDefault = Set1<Region>;