{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
///   no matter the values of the variables in `exists`.
/// * `None` if `some_type` cannot be made equal to `test_ty`,
/// * `Some(r)` with a suitable bound (typically the value of `bound_region`, modulo