23     let oper1 = sel.recv(&r1);  in smoke1()  localVariable
35     let oper1 = sel.recv(&r1);  in smoke1()  localVariable
56     let oper1 = sel.recv(&r1);  in smoke2()  localVariable
85         let oper1 = sel.recv(&r1);  in disconnected()  localVariable
102     let oper1 = sel.recv(&r1);  in disconnected()  localVariable
121         let oper1 = sel.recv(&r2);  in disconnected()  localVariable
151     let oper1 = sel.recv(&r1);  in default()  localVariable
166     let oper1 = sel.recv(&r2);  in default()  localVariable
204         let oper1 = sel.recv(&r1);  in timeout()  localVariable
217         let oper1 = sel.recv(&r1);  in timeout()  localVariable
244                 let oper1 = sel.recv(&r);  in timeout()  localVariable
265     let oper1 = sel.recv(&r);  in default_when_disconnected()  localVariable
278     let oper1 = sel.recv(&r);  in default_when_disconnected()  localVariable
291     let oper1 = sel.send(&s);  in default_when_disconnected()  localVariable
304     let oper1 = sel.send(&s);  in default_when_disconnected()  localVariable
346         let oper1 = sel.recv(&r1);  in unblocks()  localVariable
367         let oper1 = sel.send(&s1);  in unblocks()  localVariable
396             let oper1 = sel.recv(&r1);  in both_ready()  localVariable
423                 let oper1 = sel.send(&s1);  in loop_try()  localVariable
440                 let oper1 = sel.recv(&r_end);  in loop_try()  localVariable
465                 let oper1 = sel.recv(&r_end);  in loop_try()  localVariable
486                 let oper1 = sel.recv(&r1);  in loop_try()  localVariable
523         let oper1 = sel.recv(&r1);  in cloning1()  localVariable
546             let oper1 = sel.recv(&r1);  in cloning2()  localVariable
569     let oper1 = sel.recv(&r);  in preflight1()  localVariable
585     let oper1 = sel.recv(&r);  in preflight2()  localVariable
604     let oper1 = sel.recv(&r);  in preflight3()  localVariable
620         let oper1 = sel.recv(&r);  in duplicate_operations()  localVariable
651     let oper1 = sel.send(&s);  in nesting()  localVariable
658             let oper1 = sel.recv(&r);  in nesting()  localVariable
665                     let oper1 = sel.send(&s);  in nesting()  localVariable
672                             let oper1 = sel.recv(&r);  in nesting()  localVariable
716                 let oper1 = sel.recv(&r1);  in stress_recv()  localVariable
755                 let oper1 = sel.send(&s1);  in stress_send()  localVariable
793                 let oper1 = sel.recv(&r1);  in stress_mixed()  localVariable
823                     let oper1 = sel.send(&s);  in stress_timeout_two_threads()  localVariable
847                     let oper1 = sel.recv(&r);  in stress_timeout_two_threads()  localVariable
870     let oper1 = sel.send(&s);  in send_recv_same_channel()  localVariable
884     let oper1 = sel.send(&s);  in send_recv_same_channel()  localVariable
907                 let oper1 = sel.recv(r);  in matching()  localVariable
933                 let oper1 = sel.recv(r);  in matching_with_leftover()  localVariable
972                         let oper1 = sel.send(&s);  in channel_through_channel()  localVariable
990                         let oper1 = sel.recv(&r);  in channel_through_channel()  localVariable
1036                     let oper1 = sel.recv(&r1);  in linearizable_try()  localVariable
1091                     let oper1 = sel.recv(&r1);  in linearizable_timeout()  localVariable
1142         let oper1 = sel.recv(&r1);  in fairness1()  localVariable
1185                 let mut oper1 = None;  in fairness2()  localVariable
1207             let oper1 = sel.recv(&r1);  in fairness2()  localVariable
1239     let oper1 = sel.recv(r);  in sync_and_clone()  localVariable
1268     let oper1 = sel.recv(r);  in send_and_clone()  localVariable
1310         let oper1 = sel.recv(&r1);  in reuse()  localVariable