{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"///"}]}
    /// but not in the defining sites of the TAITs.
    /// The coercion of a non-inference var into an opaque type should fail,
    /// In such cases, we insert an proxy inference var for each TAIT,