{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//!"}]}
//! The reason for this is that any of B's types could be composed of C's types,
//!
//! any function in B could return a type from C, etc. To be able to guarantee