{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
                    // We must normalize here to reveal opaques and normalize
                read_only: !deduce_read_only.mutable_args.contains(arg_index)
                    // their generic parameters, otherwise we'll see exponential