{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"InvalidVTablePtr"}]}
                        InvalidVTablePtr { value: format!("{vtable}") },
                    Ub(DanglingIntPointer{ .. } | InvalidVTablePointer(..)) =>
                    Ub(InvalidVTableTrait { vtable_dyn_type, expected_dyn_type }) => {