{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"seen:"}]}
                        seen: Default::default(),
                        def_id,
                        opaques: &self.typeck_results.concrete_opaque_types,