26     let oper2 = sel.recv(&r2);  in smoke1()  localVariable
38     let oper2 = sel.recv(&r2);  in smoke1()  localVariable
59     let oper2 = sel.recv(&r2);  in smoke2()  localVariable
88         let oper2 = sel.recv(&r2);  in disconnected()  localVariable
105     let oper2 = sel.recv(&r2);  in disconnected()  localVariable
154     let oper2 = sel.recv(&r2);  in default()  localVariable
207         let oper2 = sel.recv(&r2);  in timeout()  localVariable
220         let oper2 = sel.recv(&r2);  in timeout()  localVariable
349         let oper2 = sel.recv(&r2);  in unblocks()  localVariable
370         let oper2 = sel.send(&s2);  in unblocks()  localVariable
399             let oper2 = sel.send(&s2);  in both_ready()  localVariable
490                 let oper2 = sel.send(&s2);  in loop_try()  localVariable
527         let oper2 = sel.recv(&r2);  in cloning1()  localVariable
550             let oper2 = sel.recv(&r2);  in cloning2()  localVariable
624         let oper2 = sel.send(&s);  in duplicate_operations()  localVariable
720                 let oper2 = sel.recv(&r2);  in stress_recv()  localVariable
759                 let oper2 = sel.send(&s2);  in stress_send()  localVariable
797                 let oper2 = sel.send(&s2);  in stress_mixed()  localVariable
874     let oper2 = sel.recv(&r);  in send_recv_same_channel()  localVariable
888     let oper2 = sel.recv(&r);  in send_recv_same_channel()  localVariable
911                 let oper2 = sel.send(s);  in matching()  localVariable
937                 let oper2 = sel.send(s);  in matching_with_leftover()  localVariable
1040                     let oper2 = sel.recv(&r2);  in linearizable_try()  localVariable
1095                     let oper2 = sel.recv(&r2);  in linearizable_timeout()  localVariable
1146         let oper2 = sel.recv(&r2);  in fairness1()  localVariable
1189                 let mut oper2 = None;  in fairness2()  localVariable
1211             let oper2 = sel.recv(&r2);  in fairness2()  localVariable
1243     let oper2 = sel.send(s);  in sync_and_clone()  localVariable
1272     let oper2 = sel.send(s);  in send_and_clone()  localVariable
1314         let oper2 = sel.send(&s2);  in reuse()  localVariable