{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
    // is literally unrepresentable in the type system; however, we may be
    // the trait definition. We hard-error if it captures *more*, since that
    // promising stronger outlives guarantees if we capture *fewer* regions.