Is that not because there is not much to do, and therefore people use .unwrap() — because crashing is actually quite sane? Correctness trumps ergonomics, and t

Is that not because there is not much to do, and therefore people use .unwrap() — because crashing is actually quite sane? Correctness trumps ergonomics, and the default should definitely be poisoning/panicking unless handled. There could definitely be an optional poison-eating mutex, but I argue the current Mutex does the right thing.