safety-lib 0.2.0

A lib for using safety tags defined in tag-std
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#![feature(register_tool)]
#![register_tool(rapx)]
#![allow(unused_variables)]

use safety_lib::safety;

/// # Safety
#[safety::precond::Align(p, T)]
pub unsafe fn align<T>(p: T) {}

/// # Safety
#[safety::precond::Unwrap(p, T)]
pub unsafe fn unwrap<T>(p: Option<T>) {}

/// # Safety
#[safety::hazard::Alias(p)]
pub unsafe fn alias<T>(p: T) {}

/// # Safety
#[safety::option::Trait(T, Copy, "Alias")]
pub unsafe fn foo_trait<T>(p: T) {}