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