Meeting 2025-03-19

Critical

Danilo suggested to have SANITY comments similar to SAFETY comments: https://lore.kernel.org/all/Z9hGcClQXpEYUYZp@cassiopeiae/

A couple points from me:

we shouldn't use SANITY, on a quick glance it seems similar to SAFETY and we should be very vary of confusion between the two
I'm not sure if they have a consistent format or phrasing, safety comments do. But for sanity stuff I'm not sure what one would write in general.

Boqun: how about FORGET: ;-)

Benno: how about FOOTGUN

Miguel: how about PITFALL

Danilo: JUSTIFY?

Benno: I wouldn't use JUSTIFY, since that sounds a lot like the language that I use for safety comments.

Tamir: CAUTION

Danilo: Maybe people will abuse this by using this feature as opposed to designing a good API.

/// # Pitfalls
///
/// ...
fn forget<T>(t: T);


// PITFALL: ...
forget(..);

Miguel: notes about previous discussions on colored unsafe (unsafe(...)), as well as // CAST etc.

Boqun: could forget be unsafe?

Plz.