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