{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"read_only:"}]}
                read_only: !deduce_read_only.mutable_args.contains(arg_index)
            |(arg_index, local_decl)| DeducedParamAttrs {
                    // We must normalize here to reveal opaques and normalize