rust/src/test/ui/impl-trait, branch 1.46.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.46.02020-06-24T12:28:41+00:00Rollup merge of #73646 - JohnTitor:add-tests, r=Dylan-DPC2020-06-24T12:28:41+00:00Dylan DPCdylan.dpc@gmail.com2020-06-24T12:28:41+00:00urn:sha1:45de677b1e2a95f14fd9bce030c8fc60bdf5642f
Add some regression tests
Closes #44861
Closes #51506
Closes #59435
Closes #69840
Add test for issue-698402020-06-23T08:52:51+00:00Yuki Okushihuyuumi.dev@gmail.com2020-06-23T08:52:51+00:00urn:sha1:814782b4c6bd773d47dfce5614d4bbea935f5d85Rollup merge of #73496 - estebank:opaque-missing-lts-in-fn-3, r=nikomatsakis2020-06-23T07:33:58+00:00Manish Goregaokarmanishsmail@gmail.com2020-06-23T07:33:58+00:00urn:sha1:cd18ac1ce8f256801b69b9cd1df92bf975f85bc4
Account for multiple impl/dyn Trait in return type when suggesting `'_`
Make `impl` and `dyn` Trait lifetime suggestions a bit more resilient.
Follow up to #72804.
r? @nikomatsakis
Rollup merge of #71420 - RalfJung:specialization-incomplete, r=matthewjasper2020-06-20T02:42:43+00:00Manish Goregaokarmanishsmail@gmail.com2020-06-20T02:42:43+00:00urn:sha1:203305d09566e2924f893ed94845253da199eeab
Specialization is unsound
As discussed in https://github.com/rust-lang/rust/issues/31844#issuecomment-617013949, it might be a good idea to warn users of specialization that the feature they are using is unsound.
I also expanded the "incomplete feature" warning to link the user to the tracking issue.
Account for multiple impl/dyn Trait in return type when suggesting `'_`2020-06-19T20:40:51+00:00Esteban Küberesteban@kuber.com.ar2020-06-09T20:57:33+00:00urn:sha1:562f4967b4ce7e859b807fc022040bbb22d1f70eRollup merge of #73382 - Aaron1011:fix/self-receiver-candidates, r=petrochenkov2020-06-19T16:15:16+00:00Manish Goregaokarmanishsmail@gmail.com2020-06-19T16:15:16+00:00urn:sha1:b443a107f8bb851bce4a9d7fb6fc0dd3fca17d9e
Only display other method receiver candidates if they actually apply
Previously, we would suggest `Box<Self>` as a valid receiver, even if
method resolution only succeeded due to an autoderef (e.g. to `&self`)
Rollup merge of #72804 - estebank:opaque-missing-lts-in-fn-2, r=nikomatsakis2020-06-18T22:20:43+00:00Manish Goregaokarmanishsmail@gmail.com2020-06-18T22:20:43+00:00urn:sha1:40fd2bdcfec7a30a2cce0d4a2cc08d09e64cabeb
Further tweak lifetime errors involving `dyn Trait` and `impl Trait` in return position
* Suggest substituting `'static` lifetime in impl/dyn `Trait + 'static` instead of `Trait + 'static + '_`
* When `'static` is explicit, also suggest constraining argument with it
* Reduce verbosity of suggestion message and mention lifetime in label
* Tweak output for overlapping required/captured spans
* Give these errors an error code
Follow up to #72543.
r? @nikomatsakis
warn against 'specialization' feature2020-06-16T07:39:34+00:00Ralf Jungpost@ralfj.de2020-05-17T08:22:48+00:00urn:sha1:5fbef22a443e42f8661c9e88426ac80b9bc49674Only display other method receiver candidates if they actually apply2020-06-15T19:15:35+00:00Aaron Hillaa1ronham@gmail.com2020-06-15T19:15:35+00:00urn:sha1:8956a7f58194b5a3a8de944ea1dc1b3b44a070ac
Previously, we would suggest `Box<Self>` as a valid receiver, even if
method resolution only succeeded due to an autoderef (e.g. to `&self`)
review comments2020-06-15T19:11:28+00:00Esteban Küberesteban@kuber.com.ar2020-06-15T19:11:28+00:00urn:sha1:8f12485335f506f4c9633305f323e55cdc3c8c2b