{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"ty::TyVar(v)"}]}
                ty::TyVar(v) => {
            match v {
                    // Not entirely obvious: if `typ` is a type variable,