Module rustc_borrowck::region_infer::opaque_types
source · Traits
Functions
- This logic duplicates most of
check_opaque_meets_bounds
. FIXME(oli-obk): Also do region checks here and then consider removingcheck_opaque_meets_bounds
entirely.