{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// In such cases, we insert an proxy inference var for each TAIT,
    /// but not in the defining sites of the TAITs.
    /// and coerce into it instead of TAIT itself.