{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
/// generic parameters `(S1, S2)` that equate their trait references.
/// Given a specializing impl `impl1`, and the base impl `impl2`, returns two
/// The returned types are expressed in terms of the generics of `impl1`.