On Thursday, 14 November 2024 at 17:27:54 UTC, user1234 wrote: > You define a contract that Dscanner does not understand. The > more simple solution, as you seem to be careful about bounds, > is to disable the specific check that worries you. Ok. Somewhat sad, but at least it works. Thanks for all the replies.