{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// Given a type variable `ty_var` of the given kind, first check
    /// if `ty_var` is bound to anything; if so, canonicalize