strict-typing 0.1.0

A procedural macro for ensuring strict type safety.
Documentation
1
2
3
4
5
error: impl method parameter uses disallowed type `u64`
 --> tests/cases/fail_impl_param.rs:8:25
  |
8 |     fn score(&self, id: u64) -> Score {
  |                         ^^^