{"ast_node_type":"import","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
            // we don't need to check for `'empty`, because `R: 'empty`.
            // If we can find any other bound `R` such that `T: R`, then
            VerifyBound::AnyBound(param_bounds)