{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"///"}]}
    /// inference variables.
    /// An example is a `A <= B` where neither `A` nor `B` are
    pub verifys: Vec<Verify<'tcx>>,