dash pattern [0] should be invisible

From esteban r

The following pdf: https://gofile.io/d/UWZHtw (simplification of a real life example) contains different annotations. Some of their rectangles are not displayed in Adobe Reader (expected behaviour) but pdfbox debugger (tried with 3.0.0-RC1 and 2.0.23) shows all of them. It seems to me that the dash pattern [0] makes the difference (not compatible with pdf spec?)