{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"ty::Infer(ty::TyVar(_)"}]}
            ty::Infer(ty::TyVar(_) | ty::FreshTy(_) | ty::FreshIntTy(_) | ty::FreshFloatTy(_))
            // These variants should not exist as a self type.
            | ty::Param(_)