{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"///"}]}
    /// type).
    /// checked against it (we also carry the span of that first
    found: Option<ty::OpaqueHiddenType<'tcx>>,