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