{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// instantiating `target_vid` would result in a cyclic type. We eagerly error
    /// subtyping could occur. This also does the occurs checks, detecting whether
    /// in this case.