{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"match"}]}
            match result {
                .structurally_normalize_ty(ty, &mut **self.fulfillment_cx.borrow_mut());
                Ok(normalized_ty) => normalized_ty,