{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
/// This is actually a bit of a tricky constraint in general. We
///
/// want to say that each variable (e.g., `'0`) can only take on