{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! (b) the patterns cover every possible value for the type (exhaustiveness)
//! The algorithm implemented here is inspired from the one described in [this