mnesis 0.1.0

A zero-compromise event-sourcing and CQRS kernel for Rust with maximum compile-time type safety
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

//! `Id` requires `Display` (and `AsRef<[u8]>`). A type missing `Display` is
//! therefore *not* covered by the blanket impl, so requiring `I: Id` fails.

use mnesis::Id;

#[derive(Debug, Clone, Hash, PartialEq, Eq)]
struct BadId(u64);
impl AsRef<[u8]> for BadId {
    fn as_ref(&self) -> &[u8] {
        &[]
    }
}
// Missing: impl std::fmt::Display for BadId

fn requires_id<I: Id>() {}

fn main() {
    requires_id::<BadId>();
}