{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
// `InferredIndex` is a newtype'd int representing the index of such
// is to be inferred. We refer to such variables as "inferreds". An
// a variable.