{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"ty::Error(_)"}]}
            ty::Error(_)
            // We should not see them here and we could not check them anyway.
            | ty::Infer(..)