{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
///   See `fresh_binding` and `resolve_pattern_inner` for more information.
///   this is an error. In an or-pattern, this lets us reuse the same resolution for each instance.
///