rust/compiler/rustc_trait_selection/src/solve/mod.rs, branch 1.75.0https://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=1.75.02023-11-02T09:41:27+00:00use global cache when computing proof trees2023-11-02T09:41:27+00:00lcnrrust@lcnr.de2023-10-30T13:23:35+00:00urn:sha1:15ae59ba037721d9af593965d954dbed26a68690reorder files in solve2023-10-10T09:55:22+00:00lcnrrust@lcnr.de2023-10-10T09:55:22+00:00urn:sha1:c70ef36f2cd7e505022a534a9a9bb9f472cf3610proof trees: use for `intercrate_ambiguity_causes`2023-09-21T06:17:58+00:00lcnrrust@lcnr.de2023-09-20T19:41:07+00:00urn:sha1:de53877f8b52818458e12045d65d83df9970de10differentiate root and nested goals2023-09-14T13:10:45+00:00lcnrrust@lcnr.de2023-09-14T13:10:45+00:00urn:sha1:0cb800ec342c95478fbca4ae94bd5a6c10c9c093inspect: explicitly store added goals2023-09-14T08:41:36+00:00lcnrrust@lcnr.de2023-09-14T08:41:36+00:00urn:sha1:1b141b6d73896e168abf3df8046a940c8928880ededup `GoalEvaluationStep` and `GoalCandidate`2023-09-11T13:50:09+00:00lcnrrust@lcnr.de2023-09-11T13:48:04+00:00urn:sha1:eac55eec9eb7803a91b8fb271919a86a79b00fc6
also handle 2 panics when dumping proof trees for the whole test suite
- need to actually tell the proof tree builder about overflow
- need to handle a recursion_limit of 0 :<
normalize in `trait_ref_is_knowable` in new solver2023-08-12T18:37:53+00:00lcnrrust@lcnr.de2023-08-04T10:17:28+00:00urn:sha1:9eeaf1fd13aa5706b08963634eadfc26359b7a8bfix `make_ambiguous_response_no_constraints`2023-08-03T12:30:13+00:00lcnrrust@lcnr.de2023-08-03T12:30:13+00:00urn:sha1:ae3c353067f294d34ec61e674c7f5a9d58868458
we previously had incorrect universes in the query response.
lcnr's suggestions2023-07-24T15:37:40+00:00Michael Gouletmichael@errs.io2023-07-24T15:37:40+00:00urn:sha1:3ad3bb64d97cb3e6b596f5c29ec87a572037d31a
Co-authored-by: lcnr <rust@lcnr.de>Comment stuff in the new solver2023-07-23T19:30:52+00:00Michael Gouletmichael@errs.io2023-07-23T19:30:52+00:00urn:sha1:f3553691a89ffeb9af770051a4f7e7ac0d771406