{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//"}]}
        // To start, collect bounds from user environment. Note that
        // parameter environments are already elaborated, so we don't