here is a an unprotected cast to uint64 for argKeyInt - This will panic (but we are aware that it is CLI, it is probably not being maintained for testing purposes)
[JCP: this seems like a misunderstanding of KeyInt, but maybe @NicholasDotSol or @teddyknox can confirm context from call]
jcompagni10
commented
1 year ago
here is a an unprotected cast to uint64 for argKeyInt - This will panic (but we are aware that it is CLI, it is probably not being maintained for testing purposes)
[JCP: this seems like a misunderstanding of KeyInt, but maybe @NicholasDotSol or @teddyknox can confirm context from call]