> Oh, I guess the case of this I encountered most recently was actually Option<String> == Option<&str>. There are pretty rough type inference issues preventin

> Oh, I guess the case of this I encountered most recently was actually Option<String> == Option<&str>. There are pretty rough type inference issues preventing this impl from existing. Too many people are doing `opt == None` & the compiler would no longer be able to infer the type of None. (You should not be one of them, just call `is_none()` instead) I'd like to see this impl some day but its not clear how to make it happen.