Hi! I’m Viera and I work on type systems. There’s not much to see here just yet, just the post on borrow checking~ site index by tag Posts How Rust thinks about Soundness Exclusion Typing