Maybe one of them promises to return a too specifi...

# announcements

[karelpeeters]

Maybe one of them promises to return a too specific type that it can't actually do, and in one variation that that gets used/assumed in the bytecode while in the other it doesn't.