{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// would result in an infinite type as we continuously replace an inference variable
    /// unioned with `target_vid`. If this is the case, inferring `target_vid` to `ct`
    /// in `ct` with `ct` itself.