As we discussed earlier, this particular test should not just be checked by the tsc, but also be executed using either cds-ts, or by transpiling first and calling cds on it afterwards.
We should then make sure that this code does not cause any runtime errors.
In fact, running actual typed code, such as a typed version of CDS samples, would also fall into this kind of test.