rustc_borrowck::type_check::opaque_types

Function take_opaques_and_register_member_constraints

Source 
pub(super) fn take_opaques_and_register_member_constraints<'tcx>(
    typeck: &mut TypeChecker<'_, 'tcx>,
) -> FxIndexMap<OpaqueTypeKey<'tcx>, OpaqueHiddenType<'tcx>>
Expand description

Once we’re done with typechecking the body, we take all the opaque types defined by this function and add their ‘member constraints’.