{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
                    //
                    // is currently considered undefined behavior:
                    // As a validity invariant of pointers to trait objects, we currently require