{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//!"}]}
//! value for each variable or fresh "arbitrary" types wherever a variable would have been.
//! the type, after freshening, contains no inference variables but instead contains either a
//!