A type annotation indicating that the run-time value might or might not be a valid format string.
This annotation may not be written in source code; it is an implementation detail of the checker.
