qapi/error: assert QAPISourceInfo is not None
commitac89761179ed6e3165a63ad68759f77f33bace30
authorJohn Snow <jsnow@redhat.com>
Wed, 21 Apr 2021 19:22:29 +0000 (21 15:22 -0400)
committerMarkus Armbruster <armbru@redhat.com>
Fri, 30 Apr 2021 10:59:54 +0000 (30 12:59 +0200)
tree16e7d0d3e1ff7d8113c03cfa7a2157ecfca894bb
parent86cc2ff65a4764ade26c7741c7c05f23e7efa95c
qapi/error: assert QAPISourceInfo is not None

Built-in stuff is not parsed from a source file, and therefore have no
QAPISourceInfo. If such None info was used for reporting an error,
built-in stuff would be broken. Programming error. Instead of reporting
a confusing error with bogus source location then, we better crash.

We currently crash only if self.col was set. Assert that self.info is
not None in order to crash reliably.

We can not yet change the type of the initializer to prove this cannot
happen at static analysis time before the remainder of the code is fully
typed.

Signed-off-by: John Snow <jsnow@redhat.com>
Message-Id: <20210421192233.3542904-5-jsnow@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Signed-off-by: Markus Armbruster <armbru@redhat.com>
scripts/qapi/error.py