{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//!"}]}
//! (except for some relations used for diagnostics and heuristics in the compiler).
//! This module contains the definitions of most `TypeRelation`s in the type system
//! As well as the implementation of `Relate` for interned things (`Ty`/`Const`/etc).