{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")"}]}
    ) -> Ty<'tcx> {
        no_arms: bool,
        // Not entirely obvious: if matches may create ref bindings, we want to