rust/tests
Matthias Krüger ab55d42b74
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
2024-05-31 08:50:23 +02:00
..
assembly Rollup merge of #125226 - madsmtm:fix-mac-catalyst-tests, r=workingjubilee 2024-05-29 03:25:08 +01:00
auxiliary Clean up users of rust_dbg_call 2024-04-17 15:08:08 -04:00
codegen Rollup merge of #124655 - Darksonn:fixed-x18, r=lqd,estebank 2024-05-29 20:12:32 +02:00
codegen-units Omit non-needs_drop drop_in_place in vtables 2024-05-27 16:26:56 -04:00
coverage Rollup merge of #125700 - Zalathar:limit-overflow, r=nnethercote 2024-05-29 20:12:33 +02:00
coverage-run-rustdoc
crashes Partially implement ConstArgHasType 2024-05-29 17:06:54 +01:00
debuginfo Fix tests/debuginfo/strings-and-strs. 2024-05-20 15:01:59 +10:00
incremental Update tests/incremental/foreign.rs 2024-05-20 11:13:10 -04:00
mir-opt Revert "Auto merge of #115105 - cjgillot:dest-prop-default, r=oli-obk" 2024-05-31 00:22:40 +00:00
pretty Create const block DefIds in typeck instead of ast lowering 2024-05-28 13:38:43 +00:00
run-make ignore whitespace in ldd tests 2024-05-30 15:28:03 +02:00
run-make-fulldeps
run-pass-valgrind Make more of the test suite run on Mac Catalyst 2024-05-28 12:31:33 +02:00
rustdoc Auto merge of #125599 - camelid:clarify-stability, r=notriddle,GuillaumeGomez 2024-05-27 18:42:42 +00:00
rustdoc-gui Rollup merge of #124738 - notriddle:notriddle/search-form-js, r=GuillaumeGomez 2024-05-07 18:12:54 +02:00
rustdoc-js rustdoc-search: add parser for & syntax 2024-04-19 14:31:21 -07:00
rustdoc-js-std rustdoc-search: add parser for & syntax 2024-04-19 14:31:21 -07:00
rustdoc-json rustdoc-json: Add test for keywords with --document-private-items 2024-05-24 16:40:20 +00:00
rustdoc-ui Rollup merge of #125635 - fmease:mv-type-binding-assoc-item-constraint, r=compiler-errors 2024-05-31 08:50:22 +02:00
ui Rollup merge of #125786 - compiler-errors:fold-item-bounds, r=lcnr 2024-05-31 08:50:23 +02:00
ui-fulldeps Auto merge of #125410 - fmease:adj-lint-diag-api, r=nnethercote 2024-05-27 08:44:12 +00:00
COMPILER_TESTS.md