aas-core-works / aas-core-codegen / 10629723457

82%

push

github

Check for optional type in nullness checks (#522)

We forgot to check that the value type is an optional type in type
inference. This causes various compilation errors in some of the
strongly typed languages as you can not compare non-null types with
null (*e.g.*, in C++ or Go).

In this patch, we fix the type inference to correctly detect the invalid
(non-)nullness checks and report them.

8 of 10 new or added lines in 1 file covered. (80.0%)

27335 of 33886 relevant lines covered (80.67%)

4.03 hits per line