You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's not an elision issue, an explicit fn next<'x>(&'x mut self) -> Option<&'x mut u8> still compiles incorrectly. Changing it to be Foo<'a> and Item = &'a mut u8 requires fn next<'x>(&'x mut self) -> Option<&'a mut u8> which of course can't be written.
emberian
changed the title
Abuse of elision exposes borrow checker soundness hole?
Borrow checker unsoundness when using lifetimes on associated types
Mar 10, 2015
The text was updated successfully, but these errors were encountered: