strict-typing 0.1.0

A procedural macro for ensuring strict type safety.
Documentation 
1
2
3
4
5
6
7
8
9
10

use strict_typing::strict_types;

struct Output(u64);

#[strict_types]
fn bad_param(x: u32) -> Output {
    Output(x as u64)
}

fn main() {}