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