{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                E::NormalizationFailure { ty, failure_ty: e.get_type_for_failure() }
            Cycle(_) => E::Cycle,