{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"never!(\"unexpected"}]}
                never!("unexpected type encountered in variance inference: {:?}", ty)
            TyKind::CoroutineWitness(..) | TyKind::BoundVar(..) | TyKind::InferenceVar(..) => {
            }