When Dialyzer encounters a record literal where a required field is not initialized, it thinks control flow stops at the line with the record literal.
Example:
