19 commits

Author	SHA1	Message	Date
Michael Goulet	7d2be888b6	Fix impl for SolverDelegate	2024-06-18 11:04:01 -04:00
lcnr	de53877f8b	proof trees: use for intercrate_ambiguity_causes	2023-09-21 08:17:58 +02:00
lcnr	0cb800ec34	differentiate root and nested goals	2023-09-14 15:10:45 +02:00
lcnr	1b141b6d73	inspect: explicitly store added goals	2023-09-14 10:41:36 +02:00
lcnr	a3f9530b30	order added_goals_evaluation and nested_probes	2023-09-14 10:20:23 +02:00
lcnr	be9d7e0b94	GoalCandidate to Probe	2023-09-14 09:58:29 +02:00
lcnr	eac55eec9e	dedup GoalEvaluationStep and GoalCandidate ... 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 :<	2023-09-11 15:50:09 +02:00
lcnr	8225a2e9ec	inspect: strongly typed CandidateKind	2023-09-11 13:11:32 +02:00
lcnr	01f3da6b24	inspect: handle None in nested	2023-09-11 11:51:32 +02:00
lcnr	fc452e2ed3	split GoalEvaluation and CanonicalGoalEvaluation ... the unnormalized goal is in the callers inference context, while anything inside of the `CanonicalGoalEvaluation` is inside of a new one.	2023-09-11 11:51:32 +02:00
lcnr	4965caf9be	avoid building proof trees in select	2023-07-10 15:17:01 +02:00
Boxy	284b61417f	reviews	2023-07-04 14:56:09 +01:00
Boxy	276d628cac	move logic for flags into separate function	2023-07-04 10:01:54 +01:00
Boxy	040aa58d0a	add flag for disabling global cache and printing proof trees on error	2023-07-03 21:00:16 +01:00
lcnr	e4b171a198	inspect nits	2023-06-20 14:01:03 +02:00
lcnr	f7472aa69e	cleanup imports	2023-06-20 12:41:00 +02:00
Boxy	9af7122b1d	create module so that RUSTC_LOG can filter to just proof trees	2023-06-19 09:08:03 +01:00
Boxy	51090b962f	show normalizes-to hack and response instantiation goals	2023-06-19 09:06:16 +01:00
Boxy	e367c04dc6	introduce a separate set of types for finalized proof trees	2023-06-19 09:06:16 +01:00

Renamed from compiler/rustc_trait_selection/src/solve/inspect/mod.rs (Browse further)