Fix potential stack overflow related to `Pretty N`.
Passed
Robbert Krebbers
created pipeline for commit
6de30407
, finished
Related merge request !286 to merge robbert/pretty_N_go_stackoverflow
6 minutes 57 seconds, queued for 25 seconds