On 2013-04-03 16:33, Steven Schveighoffer wrote:
I wish there was a way to say "this data is unchecked" or "this data is checked and certified to be correct" when you call a function. That way you could run the in contracts on user-specified data, even with asserts turned off, and avoid the checks in release code when the data has already proven valid.
Scott Meyers had a good talk about this: http://www.youtube.com/watch?v=Jfu9Kc1D-gQ -- /Jacob Carlborg