## Report.warnings


The `issues` that do not count against a proof. None do: an


`Report.warnings: list[Issue]`


`SUM` that may leave its type is an error ([errors](Report.errors.md#sverify.Report.errors)).