{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// defined by this function and add their 'member constraints'.
/// Once we're done with typechecking the body, we take all the opaque types
pub(super) fn take_opaques_and_register_member_constraints<'tcx>(