The mentioned files are intentionally pants-ignored.

Excellent! That is precisely the edge case we fixed. Thanks for the report