{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.typeck_results.concrete_opaque_types.insert("}]}
                self.typeck_results.concrete_opaque_types.insert(
            ) {
                    opaque_type_key.def_id,