{"ast_node_type":"impl","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
/// Given a specializing impl `impl1`, and the base impl `impl2`, returns two
/// generic parameters `(S1, S2)` that equate their trait references.