{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"///"}]}
/// We wish to decide if those two method types are compatible.
///
/// For this we have to show that, assuming the bounds of the impl hold, the