lcnr
01795b14f0
change definitely non-productive cycles to error
2025-03-05 10:06:43 +01:00
lcnr
d6ce2bd1de
remove unused field
2024-10-22 08:30:09 +02:00
Michael Goulet
c682aa162b
Reformat using the new identifier sorting from rustfmt
2024-09-22 19:11:29 -04:00
Nicholas Nethercote
46ea798a94
Add warn(unreachable_pub) to rustc_next_trait_solver.
2024-08-29 20:13:06 +10:00
lcnr
7b86c98068
do not use the global solver cache for proof trees
...
doing so requires overwriting global cache entries and
generally adds significant complexity to the solver. This is
also only ever done for root goals, so it feels easier to wrap
the `evaluate_canonical_goal` in an ordinary query if
necessary.
2024-08-12 10:33:04 +02:00
Nicholas Nethercote
84ac80f192
Reformat use declarations.
...
The previous commit updated `rustfmt.toml` appropriately. This commit is
the outcome of running `x fmt --all` with the new formatting options.
2024-07-29 08:26:52 +10:00
Pavel Grigorenko
70a11c7ba9
rustc_next_trait_solver: derivative -> derive-where
2024-07-12 21:48:16 +03:00
lcnr
15f770b143
enable fuzzing of SearchGraph
...
fully move it into `rustc_type_ir` and make it
independent of `Interner`.
2024-07-12 06:30:19 -04:00
Michael Goulet
275d922dab
Rename tcx to cx
2024-06-25 17:36:52 -04:00
Michael Goulet
24e41f1d13
Replace Deref bounds on Interner in favor of a SliceLike trait
2024-06-24 11:53:34 -04:00
Michael Goulet
db638ab968
Rename a bunch of things
2024-06-21 12:32:05 -04:00
Michael Goulet
7d2be888b6
Fix impl for SolverDelegate
2024-06-18 11:04:01 -04:00
Michael Goulet
532149eb88
Uplift the new trait solver
2024-06-18 10:55:34 -04:00
