[Merged by Bors] - chore: fix some Set defeq abuse, golf
#3988
The logs for this run have expired and are no longer available.
Loading
Set defeq abuse, golf
#3988