{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"///"}]}
/// in which case the `projs` vector is used.
/// subpatterns and bindings, we want to apply only a *part* of the type to a variable,
///