Fix syntax error in miri rune

Prompted by trying to deal with CI failure in arti!2502

Merge request reports

Loading