25     let oper1 = sel.recv(&r1);  in smoke1()  localVariable
37     let oper1 = sel.recv(&r1);  in smoke1()  localVariable
58     let oper1 = sel.recv(&r1);  in smoke2()  localVariable
87         let oper1 = sel.recv(&r1);  in disconnected()  localVariable
104     let oper1 = sel.recv(&r1);  in disconnected()  localVariable
123         let oper1 = sel.recv(&r2);  in disconnected()  localVariable
153     let oper1 = sel.recv(&r1);  in default()  localVariable
168     let oper1 = sel.recv(&r2);  in default()  localVariable
206         let oper1 = sel.recv(&r1);  in timeout()  localVariable
219         let oper1 = sel.recv(&r1);  in timeout()  localVariable
246                 let oper1 = sel.recv(&r);  in timeout()  localVariable
267     let oper1 = sel.recv(&r);  in default_when_disconnected()  localVariable
280     let oper1 = sel.recv(&r);  in default_when_disconnected()  localVariable
293     let oper1 = sel.send(&s);  in default_when_disconnected()  localVariable
306     let oper1 = sel.send(&s);  in default_when_disconnected()  localVariable
348         let oper1 = sel.recv(&r1);  in unblocks()  localVariable
369         let oper1 = sel.send(&s1);  in unblocks()  localVariable
398             let oper1 = sel.recv(&r1);  in both_ready()  localVariable
426                 let oper1 = sel.send(&s1);  in loop_try()  localVariable
443                 let oper1 = sel.recv(&r_end);  in loop_try()  localVariable
468                 let oper1 = sel.recv(&r_end);  in loop_try()  localVariable
489                 let oper1 = sel.recv(&r1);  in loop_try()  localVariable
526         let oper1 = sel.recv(&r1);  in cloning1()  localVariable
549             let oper1 = sel.recv(&r1);  in cloning2()  localVariable
572     let oper1 = sel.recv(&r);  in preflight1()  localVariable
588     let oper1 = sel.recv(&r);  in preflight2()  localVariable
607     let oper1 = sel.recv(&r);  in preflight3()  localVariable
623         let oper1 = sel.recv(&r);  in duplicate_operations()  localVariable
654     let oper1 = sel.send(&s);  in nesting()  localVariable
661             let oper1 = sel.recv(&r);  in nesting()  localVariable
668                     let oper1 = sel.send(&s);  in nesting()  localVariable
675                             let oper1 = sel.recv(&r);  in nesting()  localVariable
719                 let oper1 = sel.recv(&r1);  in stress_recv()  localVariable
758                 let oper1 = sel.send(&s1);  in stress_send()  localVariable
796                 let oper1 = sel.recv(&r1);  in stress_mixed()  localVariable
826                     let oper1 = sel.send(&s);  in stress_timeout_two_threads()  localVariable
850                     let oper1 = sel.recv(&r);  in stress_timeout_two_threads()  localVariable
873     let oper1 = sel.send(&s);  in send_recv_same_channel()  localVariable
887     let oper1 = sel.send(&s);  in send_recv_same_channel()  localVariable
910                 let oper1 = sel.recv(r);  in matching()  localVariable
936                 let oper1 = sel.recv(r);  in matching_with_leftover()  localVariable
975                         let oper1 = sel.send(&s);  in channel_through_channel()  localVariable
993                         let oper1 = sel.recv(&r);  in channel_through_channel()  localVariable
1039                     let oper1 = sel.recv(&r1);  in linearizable_try()  localVariable
1094                     let oper1 = sel.recv(&r1);  in linearizable_timeout()  localVariable
1145         let oper1 = sel.recv(&r1);  in fairness1()  localVariable
1188                 let mut oper1 = None;  in fairness2()  localVariable
1210             let oper1 = sel.recv(&r1);  in fairness2()  localVariable
1242     let oper1 = sel.recv(r);  in sync_and_clone()  localVariable
1271     let oper1 = sel.recv(r);  in send_and_clone()  localVariable
1313         let oper1 = sel.recv(&r1);  in reuse()  localVariable