[Merged by Bors] - chore: remove some Setoid.r
#5779
bot_fix_style_comment.yaml
on: issue_comment
Fix style issues from lint
0s
Setoid.r
#5779