{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// `Tc: 'a`, then this would incorrectly require that `T: 'a` --
/// is an inference variable). If we generated a constraint that
/// but this is not necessary, because the opaque type we