{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
            // that don't hold.
            // various query operations modulo regions, and thus could unsoundly select some impls
            if !ty.references_error()