{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//!"}]}
//! algorithm look like `U8AsBool { b: true, n: 2 }`. In other words, for the most part a union is
//! Pattern-matching has no knowledge that e.g. `false as u8 == 0`, so the values we consider in the
//! treated like a struct with the same fields. The difference lies in how we construct witnesses of