In the following code:
if the call to:
is deprecated, then a violation is created on the first line of the snippet:
and that it is fine.
It indeed is a limitation of the generated bytecode.
However, the violation message currently is:
whereas we could and should show something a bit more meaningful, such as: