{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//!"}]}
//! like, and it may also contain implied bounds that are needed to
//! Here, the type of `y` may involve inference variables and the
//! type-check the closure body (e.g., here it informs us that `T`