rust/src/test/ui/wf, branch master https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=master 2023-01-11T09:32:08+00:00 Move /src/test to /tests 2023-01-11T09:32:08+00:00 Albert Larsan 74931857+albertlarsan68@users.noreply.github.com 2023-01-05T08:13:28+00:00 urn:sha1:cf2dff2b1e3fa55fa5415d524200070d0d7aacfe Normalize assumed_wf_types after wfchecking is complete, for better spans 2023-01-08T18:50:09+00:00 Michael Goulet michael@errs.io 2023-01-08T03:14:27+00:00 urn:sha1:0bddce50903c463ff06cc05edc1b3aba6645f50f Improve spans of non-WF implied bound types 2023-01-08T18:50:08+00:00 Michael Goulet michael@errs.io 2023-01-08T02:40:59+00:00 urn:sha1:ca554efaf78962f9dc9599663b29626269c69c8c Make some diagnostics not depend on the source of what they reference being available 2022-12-13T09:48:22+00:00 Oli Scherer git-spam-no-reply9815368754983@oli-obk.de 2022-12-09T15:56:23+00:00 urn:sha1:cb26b35b12d810d7a8215869d9e434c4b0c7f25c Don't call diagnostic_hir_wf_check query if we have infer variables 2022-12-05T03:18:57+00:00 Michael Goulet michael@errs.io 2022-12-05T03:17:53+00:00 urn:sha1:64ad337a3bc50f7381f1afc1a0fc7006a8ad7f53 Process registered region obligation in resolve_regions_with_wf_tys 2022-10-26T16:06:54+00:00 Michael Goulet michael@errs.io 2022-10-26T16:05:58+00:00 urn:sha1:db3b01d2bf67e647487320467bde6f7023a8f154 Tweak WellFormedLocs a bit 2022-08-30T06:19:48+00:00 Michael Goulet michael@errs.io 2022-08-30T06:19:48+00:00 urn:sha1:5a4f7d4ad3e1124291b177af369023c3f181422e Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakis 2022-08-22T06:10:26+00:00 bors bors@rust-lang.org 2022-08-22T06:10:26+00:00 urn:sha1:a9bb589cd678e034d194193fa892942315b10e2a implied bounds: explicitly state which types are assumed to be wf Adds a new query which maps each definition to the types which that definition assumes to be well formed. The intent is to make it easier to reason about implied bounds. This change should not influence the user-facing behavior of rustc. Notably, `borrowck` still only assumes that the function signature of associated functions is well formed while `wfcheck` assumes that the both the function signature and the impl trait ref is well formed. Not sure if that by itself can trigger UB or whether it's just annoying. As a next step, we can add `WellFormed` predicates to `predicates_of` of these items and can stop adding the wf bounds at each place which uses them. I also intend to move the computation from `assumed_wf_types` to `implied_bounds` into the `param_env` computation. This requires me to take a deeper look at `compare_predicate_entailment` which is currently somewhat weird wrt implied bounds so I am not touching this here. r? `@nikomatsakis` Reword "Required because of the requirements on the impl of ..." 2022-08-18T20:08:08+00:00 Andy Wang cbeuw.andy@gmail.com 2022-08-15T20:31:37+00:00 urn:sha1:84a199369b611f2140e1b6f20dce9e2d40ad37df implied_bounds: clarify our assumptions 2022-08-17T10:22:32+00:00 lcnr rust@lcnr.de 2022-08-17T10:22:32+00:00 urn:sha1:4fe666ee64d9f2a73571f0ab74a29cd30190573e