{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"ty::Pat(ty,"}]}
        ty::Pat(ty, ..) => Ok(ty::Binder::dummy(vec![ty])),
        // so we'd have to list all patterns and type combinations.