about summary refs log tree commit diff
path: root/compiler/rustc_driver_impl/src/lib.rs
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2025-05-05 21:32:35 +0200
committerGitHub <noreply@github.com>2025-05-05 21:32:35 +0200
commitbdbf1c631a1dbb7b965722bc751d549a3cf6a770 (patch)
tree9449d0398f170915b245de9bbbf0686314f06ff8 /compiler/rustc_driver_impl/src/lib.rs
parent5822dd624731d4c5770b7d0cf317eb1735d7e9d1 (diff)
parent12d3021ef0e756490ed0adce13b66058cce75744 (diff)
downloadrust-bdbf1c631a1dbb7b965722bc751d549a3cf6a770.tar.gz
rust-bdbf1c631a1dbb7b965722bc751d549a3cf6a770.zip
Rollup merge of #140672 - compiler-errors:deeply-normalize, r=lcnr
Deeply normalize in the new solver in WF

We need to deeply normalize types we check for well-formedness, since we only collect implied bounds from normalized signature types.

Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/194

r? lcnr
Diffstat (limited to 'compiler/rustc_driver_impl/src/lib.rs')
0 files changed, 0 insertions, 0 deletions