Lines Matching full:safety

58 includes ``// SAFETY:``, ``// TODO:`` and other "tagged" comments, e.g.:
88 One special kind of comments are the ``// SAFETY:`` comments. These must appear
94 	// SAFETY: `p` is valid by the safety requirements.
97 ``// SAFETY:`` comments are not to be confused with the ``# Safety`` sections
98 in code documentation. ``# Safety`` sections specify the contract that callers
99 (for functions) or implementors (for traits) need to abide by. ``// SAFETY:``
101 respects the preconditions stated in a ``# Safety`` section or the language
124 	/// # Safety
140 	        // SAFETY: The safety contract must be upheld by the caller.
151   - Unsafe functions must document their safety preconditions under
152     a ``# Safety`` section.
167   - Any ``unsafe`` block must be preceded by a ``// SAFETY:`` comment