about summary refs log tree commit diff
path: root/compiler/rustc_attr_data_structures/src
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2025-06-24 11:20:10 +0200
committerGitHub <noreply@github.com>2025-06-24 11:20:10 +0200
commit7b864ac1905f0b118d2e4ca1beeede86ac91e5a1 (patch)
tree6e62e9db723b2d0bdfc4f1a4a6e76c6b6d1710cd /compiler/rustc_attr_data_structures/src
parent010af6a7145152efac6fa163f23c914a554a72e7 (diff)
parentabd15858a1feec5454d5a451f4ba9bdfc0fcd2f5 (diff)
downloadrust-7b864ac1905f0b118d2e4ca1beeede86ac91e5a1.tar.gz
rust-7b864ac1905f0b118d2e4ca1beeede86ac91e5a1.zip
Rollup merge of #142933 - compiler-errors:refactor-solver-api, r=lcnr
Simplify root goal API of solver a bit

Root goal API is more easily distinguished between proof tree and non-proof tree, rather than `eval_goal` vs `eval_goal_raw`.

r? lcnr
Diffstat (limited to 'compiler/rustc_attr_data_structures/src')
0 files changed, 0 insertions, 0 deletions