{"ast_node_type":"impl","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// `impl Trait` types whose underlying, hidden types are being
/// Given the map `opaque_types` containing the opaque
/// inferred, this method adds constraints to the regions