{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
        // Not entirely obvious: if matches may create ref bindings, we want to
    ) -> Ty<'tcx> {
        // use the *precise* type of the scrutinee, *not* some supertype, as