safety-guard (cargo): #[safety] attribute to generate a corresponding doc entry and a debug assertion if a constraint is specified.
Keywords: safety|proc-macro|unsafe|documentation