Is your feature request related to a problem or challenge? Please describe what you are trying to do.
A newer version of Rust makes a configuration of miri default, and now we are getting a warning

Describe the solution you'd like
Remove the line since it is redundant?

Describe alternatives you've considered
Not sure what else should be done

Additional context
Blame that added this line