3 ms·
Not only do the opportunities to use it seem to be limited, but the opportunities for the compiler to statically check that the constraint is respected seem lim
by mannykannot 8y ago
Not only do the opportunities to use it seem to be limited, but the opportunities for the compiler to statically check that the constraint is respected seem limited, both in the case of the caller and in the implementation of the function.
- int0x80 8y agoThis is not primary about static checking. This is mostly a guarantee to the implementation so it has information at the target function so it can generate better code without having to resort to derivations or complex data flows (to optimize, basically).