{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"solutions:"}]}
    solutions: Vec<ty::Variance>,
    // Maps from an InferredIndex to the inferred value for that variable.
}