The example seems like more of a FIXME than a TODO.

It’s a clear error, but likely unimportant enough to bother addressing.