{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
        // identity args just so that we can trivially substitute their `EarlyBinder`.
        // Don't write user type annotations for const param types, since we give them
        // We enforce that they match their type in MIR later on.