aas-core-works / aas-core-codegen / 10644792389

82%

push

github

Fix type inference for disjunctions with nullness (#524)

We extend the type inference to, correctly, consider the case with
disjunctions (``or``) with nullness checks (``is None``).

For example, ``(A is None) or (A == 3)`` means that the first value in
the disjunction (``A is None``) implies that ``A`` is non-null in the
second value (``A == 3``).

13 of 16 new or added lines in 2 files covered. (81.25%)

27240 of 33843 relevant lines covered (80.49%)

4.02 hits per line