make sure we never pretty-print `[|| ]`