{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
// is to be inferred. We refer to such variables as "inferreds". An
// We assign a unique index to each type/region parameter whose variance
// `InferredIndex` is a newtype'd int representing the index of such