{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
    /// constraint is satisfied.
    /// A test which, if met by the region `'x`, proves that this type
    pub verify_bound: VerifyBound<'tcx>,