{"ast_node_type":"import","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// have a binding here, and we tell the user to use `_` instead.
    /// This extends to product types: `(x, !)` is likewise unreachable. So it doesn't make sense to
    fn compute_and_check_binding_map(