diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-05-31 08:50:23 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-31 08:50:23 +0200 |
| commit | ab55d42b7468256b9c68425519b8a26d90a54c2f (patch) | |
| tree | 36e839d3821aa3f8f0f4f33951485582afa49f96 /tests/codegen/generic-debug.rs | |
| parent | 4aafc1175e11a1a8d90def51d7e7d19aa3b5c9bc (diff) | |
| parent | 5c68eb3facbd5dcde1c05d4c5a37cc845f504759 (diff) | |
| download | rust-ab55d42b7468256b9c68425519b8a26d90a54c2f.tar.gz rust-ab55d42b7468256b9c68425519b8a26d90a54c2f.zip | |
Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnr
Fold item bounds before proving them in `check_type_bounds` in new solver Vaguely confident that this is sufficient to prevent rust-lang/trait-system-refactor-initiative#46 and rust-lang/trait-system-refactor-initiative#62. This is not the "correct" solution, but will probably suffice until coinduction, at which point we implement the right solution (`check_type_bounds` must prove `Assoc<...> alias-eq ConcreteType`, normalizing requires proving item bounds). r? lcnr
Diffstat (limited to 'tests/codegen/generic-debug.rs')
0 files changed, 0 insertions, 0 deletions