Stream: t-lang/wg-unsafe-code-guidelines

Topic: linting and dynamic checking


nikomatsakis (Nov 15 2018 at 16:45, on Zulip):

Another thing that @RalfJ and I were discussing was adding debug_assert checks for things like "access through unaligned reference" -- basically a "cheap and easy" sanitizer-type check that is "always on". This wouldn't really make sense to do until we've defined the validity invariants, I guess, but maybe that should be something that we try to look for during that discussion? Which things could/should be automatically checked?

Last update: Nov 20 2019 at 12:55UTC