{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
/// * `Some(r)` with a suitable bound (typically the value of `bound_region`, modulo
///   no matter the values of the variables in `exists`.
///   any bound existential variables, which will be instantiated) for the