{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"seen:"}]}
    seen: FxHashSet<LocalDefId>,
    def_id: LocalDefId,
    opaques: &'a FxIndexMap<LocalDefId, ty::OpaqueHiddenType<'tcx>>,