{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//!"}]}
//! the type, after freshening, contains no inference variables but instead contains either a
//! Freshening is the process of replacing unknown variables with fresh types. The idea is that
//! value for each variable or fresh "arbitrary" types wherever a variable would have been.