{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
        // and fail to prove the type test inside of the closure, the `lower_bound` has to
        // If we succeed to promote the subject, i.e. it only contains non-local regions,
        // also be at least as large as some universal region, as the type test is otherwise