{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"///"}]}
    /// of `source_ty`. Generalization introduces other inference variables wherever
    /// For this, we will instantiate `target_vid` with a *generalized* version
    /// subtyping could occur. This also does the occurs checks, detecting whether