{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"///"}]}
/// * `None` if `some_type` cannot be made equal to `test_ty`,
///
///   no matter the values of the variables in `exists`.