{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"//"}]}
        // also be at least as large as some universal region, as the type test is otherwise
        // and fail to prove the type test inside of the closure, the `lower_bound` has to
        // trivial.