{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//!"}]}
//! - **Type inference.** The type inference code can be found in the `infer` module;
//!
//!   this code handles low-level equality and subtyping operations. The