Show this thread
-
I legitimately think that any trait in `std::ops` returning a concrete type (reference or bool) was a mistake and we should stabilize GAT and IndexMut should have `type MutRef<'a>: DerefMut<Target = Self::Output>`.
Which only works if you expand this to `DerefMut` as well and I don't know how we enforce `DerefMut`'s semantics if you make it use GATs too. (I just want `Option<T> where T: Deref` to `Deref<Target=Option<T::Target>>` ok?)
-
-
Split `DerefCoerce` from `Deref` and split `IndexAssign` from `IndexMut` 2020
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.