structural-typing 0.1.7

Type-level field presence tracking for Rust structs, inspired by TypeScript
Documentation
1
2
3
4
5
6
7
8
9
10
use structural_typing::{select, structural};

#[structural]
struct User {
    name: String,
}

fn main() {
    type Invalid = select!(user name);
}