Probably a warning flag that notes any non-compile time bounds checked references. Now that you mention it, some method of forcing bounds checks in more limite

Probably a warning flag that notes any non-compile time bounds checked references. Now that you mention it, some method of forcing bounds checks in more limited circumstances might be nice for performance, that or a cleaner method of expressly disabling such for areas with critical performance and where the input is considered trusted or already validated.