At the moment, checking of `assertion`s does not take into account constraint bounds and this can lead to unexpected `panic`s. @letypequividelespoubelles FYI
At the moment, checking of
assertions does not take into account constraint bounds and this can lead to unexpectedpanics.@letypequividelespoubelles FYI