{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"//"}]}
        // If we succeed to promote the subject, i.e. it only contains non-local regions,
        }
        // and fail to prove the type test inside of the closure, the `lower_bound` has to