{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// is an inference variable). If we generated a constraint that
/// then the hidden type `Tc` would be `(&'0 u32, T)` (where `'0`
/// `Tc: 'a`, then this would incorrectly require that `T: 'a` --