Fix new nightly clippy issues (#1604)
* clipy * revert some fixes that newest clippy reports as issues, but older does not
parent
f9327749
Please register or sign in to comment
* clipy * revert some fixes that newest clippy reports as issues, but older does not