https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.45.2 2020-05-05T20:56:23+00:00 2020-05-05T20:56:23+00:00 Guillaume Gomez guillaume1.gomez@gmail.com 2020-05-05T11:48:47+00:00 urn:sha1:cf184823d1d5b290e051ae1d6344865dfed97d1e 2020-03-26T10:52:55+00:00 Niko Matsakis niko@alum.mit.edu 2020-01-09T10:56:38+00:00 urn:sha1:fda3378e3fcf279a19409ef368ce9bd5b57bfd62 They used to be covered by `optin_builtin_traits` but negative impls are now applicable to all traits, not just auto traits. This also adds docs in the unstable book for the current state of auto traits. 2018-12-28T05:22:27+00:00 John Heitmann jheitmann@gmail.com 2018-12-27T05:23:05+00:00 urn:sha1:34bd2b845b3acd84c5a9bddae3ff8081c19ec5e9 Simplified foreign type rendering by switching from tables to flexbox. Also, removed some seemingly extraneous elements like “ghost” spans. Reduces element count on std::iter::Iterator by 30%. 2018-12-26T04:08:33+00:00 Mark Rousskov mark.simulacrum@gmail.com 2018-12-25T15:56:47+00:00 urn:sha1:2a663555ddf36f6b041445894a8c175cd1bc718c 2018-10-25T19:14:32+00:00 Aaron Hill aa1ronham@gmail.com 2018-10-25T19:14:32+00:00 urn:sha1:098c659276d60fff7e0f225e1d6bc7d05591319e Fixes #55321 When AutoTraitFinder begins examining a type, it checks for an explicit negative impl. However, it wasn't checking for negative impls found when calling 'select' on predicates found from nested obligations. This commit makes AutoTraitFinder check for negative impls whenever it makes a call to 'select'. If a negative impl is found, it immediately bails out. Normal users of SelectioContext don't need to worry about this, since they stop as soon as an Unimplemented error is encountered. However, we add predicates to our ParamEnv when we encounter this error, so we need to handle negative impls specially (so that we don't try adding them to our ParamEnv).