{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                diag.arg("pointer", ptr);
            InvalidVTableTrait { expected_dyn_type, vtable_dyn_type } => {