rust/compiler/rustc_trait_selection/src/solve/inspect.rs, branch 1.82.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.82.0 2024-06-18T15:04:01+00:00 Fix impl for SolverDelegate 2024-06-18T15:04:01+00:00 Michael Goulet michael@errs.io 2024-06-17T23:09:46+00:00 urn:sha1:7d2be888b6b90ec259922c683bbb18f382e4c9b4 proof trees: use for `intercrate_ambiguity_causes` 2023-09-21T06:17:58+00:00 lcnr rust@lcnr.de 2023-09-20T19:41:07+00:00 urn:sha1:de53877f8b52818458e12045d65d83df9970de10 differentiate root and nested goals 2023-09-14T13:10:45+00:00 lcnr rust@lcnr.de 2023-09-14T13:10:45+00:00 urn:sha1:0cb800ec342c95478fbca4ae94bd5a6c10c9c093 inspect: explicitly store added goals 2023-09-14T08:41:36+00:00 lcnr rust@lcnr.de 2023-09-14T08:41:36+00:00 urn:sha1:1b141b6d73896e168abf3df8046a940c8928880e order `added_goals_evaluation` and `nested_probes` 2023-09-14T08:20:23+00:00 lcnr rust@lcnr.de 2023-09-14T08:20:23+00:00 urn:sha1:a3f9530b303b497750d0aebab689471dad9c7592 `GoalCandidate` to `Probe` 2023-09-14T07:58:29+00:00 lcnr rust@lcnr.de 2023-09-14T07:58:29+00:00 urn:sha1:be9d7e0b948650fc93b1929b1558b68d479d2f08 dedup `GoalEvaluationStep` and `GoalCandidate` 2023-09-11T13:50:09+00:00 lcnr rust@lcnr.de 2023-09-11T13:48:04+00:00 urn: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 :< inspect: strongly typed CandidateKind 2023-09-11T11:11:32+00:00 lcnr rust@lcnr.de 2023-09-11T09:34:57+00:00 urn:sha1:8225a2e9ecf6664f4ad9ccb4d2d969478479a206 inspect: handle `None` in `nested` 2023-09-11T09:51:32+00:00 lcnr rust@lcnr.de 2023-08-14T09:48:40+00:00 urn:sha1:01f3da6b244c8cd9c72f2cf32321ec09d97145e6 split GoalEvaluation and CanonicalGoalEvaluation 2023-09-11T09:51:32+00:00 lcnr rust@lcnr.de 2023-08-14T09:29:42+00:00 urn:sha1:fc452e2ed3a173dfbfc28fce8bca08170da53111 the unnormalized goal is in the callers inference context, while anything inside of the `CanonicalGoalEvaluation` is inside of a new one.