{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"///"}]}
    /// we should not presume anything about it.
    /// We can thus not know whether the hidden type implements an auto trait, so
    OpaqueTypeAutoTraitLeakageUnknown(DefId),