{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"OpaqueTypeAutoTraitLeakageUnknown(DefId),"}]}
    OpaqueTypeAutoTraitLeakageUnknown(DefId),
    /// we should not presume anything about it.
    /// Error for a `ConstArgHasType` goal