{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
                    // that the principal of the vtable in the pointer metadata exactly matches
                    // As a validity invariant of pointers to trait objects, we currently require
                    // the principal of the pointee type, where "no principal" is also considered