{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"orig_cast,"}]}
                        orig_cast,
                    InvalidReferenceCastingDiag::BiggerLayout {
                        alloc: e_alloc.span,