{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"ty.ty"}]}
    ty.ty = strip_vars(ty.ty);
    // These correspond to lifetime variables that never got resolved, so we patch this up here.
    // Get the hidden type.