Your point is entirely valid. I had not thought of it. Makes sense for resource consumption. I think selection is about what is visible to your program. I.e. t

Your point is entirely valid. I had not thought of it. Makes sense for resource consumption. I think selection is about what is visible to your program. I.e. that even if that packet arrives, if you choose another path in the select, then the recv() is guaranteed not to happen. You are right that a program doing this has to handle this case correctly, which I think is what the whole Rust future cancellation conversation is about.