{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":".get(&ty.id)"}]}
                    .get(&ty.id)
                    .impl_trait_names
                    .unwrap_or_else(|| span_bug!(ty.span, "expected this opaque to be named"));