{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"///"}]}
/// bounds of `trait_m` imply the bounds of `impl_m`.
/// For this we have to show that, assuming the bounds of the impl hold, the
///