{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
            //   for the program to type-check -- it must be the
            //   want to use that target type region (`'b`) because --
            //   smaller of the two.