{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
//!
//! two freshened types - this works even with the closure encoding.
//! __An important detail concerning regions.__ The freshener also replaces *all* free regions with