doukutsu/rust-hos
0
0 Fork 0
mirror of https://github.com/doukutsu-rs/rust-hos.git synced 2026-08-24 13:18:34 -07:00
Code Issues Packages Projects Releases Wiki Activity
Files
horizon
rust-hos/tests/ui/error-codes
T
History
Matthias Krüger 15b7792a65 Rollup merge of #146593 - Jules-Bertholet:restrict-e0719, r=BoxyUwU 
Allow specifying multiple bounds for same associated item, except in trait objects

Supersedes https://github.com/rust-lang/rust/pull/143146, fixes https://github.com/rust-lang/rust/issues/143143.

This PR proposes to stop enforcing E0719 in all contexts other than trait object types.

E0719 forbids constraining the same associated item twice within the same angle-bracket delimited associated item bound list (the `…` inside `T: Trait<…>`). For example, the following are forbidden:

| Forbidden                                  | Working alternative                                                |
|--------------------------------------------|--------------------------------------------------------------------|
| `T: Trait<Gat<u32> = u32, Gat<u64> = u64>` | `T: Trait<Gat<u32> = u32> + Trait<Gat<u64> = u64>`                 |
| `T: Iterator<Item = u32, Item = i32>`      | `T: Iterator<Item = u32> + Iterator<Item = i32>` (trivially false) |
| `T: Iterator<Item = u32, Item = u32>`      | `T: Iterator<Item = u32>`                                          |
| `T: Iterator<Item: Send, Item: Sync>`      | `T: Iterator<Item: Send + Sync>`                                   |
| `T: Trait<ASSOC = 3, ASSOC = 4>`           | `T: Trait<ASSOC = 3> + Trait<ASSOC = 4>` (trivially false)         |
| `T: Trait<ASSOC = 3, ASSOC = 3>`           | `T: Trait<ASSOC = 3>`                                              |

With this PR, all those previously forbidden examples would start working, as well as their APIT and RPIT equivalents.

Types like `dyn Iterator<Item = u32, Item = u32>` will continue to be rejected, however. See https://github.com/rust-lang/rust/pull/143146#issuecomment-3274421752 for the reason why.

```@rustbot``` label T-lang T-types needs-fcp
2025-10-01 18:42:34 +02:00
..
auxiliary
…
e0119
…
E0001.rs
…
E0001.stderr
…
E0004-2.rs
…
E0004-2.stderr
…
E0004.rs
…
E0004.stderr
…
E0005.rs
…
E0005.stderr
Update tests for new TRPL chapter order
2024-11-23 08:57:25 -07:00
E0010-teach.rs
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0010-teach.stderr
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0010.rs
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0010.stderr
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0015.rs
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0015.stderr
Note def descr in NonConstFunctionCall
2024-12-23 22:15:32 +00:00
E0017.rs
const checks: avoid 'top-level scope' terminology
2025-06-27 17:03:48 +02:00
E0017.stderr
const checks: avoid 'top-level scope' terminology
2025-06-27 17:03:48 +02:00
E0023.rs
…
E0023.stderr
…
E0025.rs
…
E0025.stderr
…
E0026-teach.rs
…
E0026-teach.stderr
…
E0026.rs
…
E0026.stderr
…
E0027.rs
…
E0027.stderr
More sophisticated span trimming
2025-02-21 00:41:17 +00:00
E0029-teach.rs
…
E0029-teach.stderr
…
E0029.rs
…
E0029.stderr
…
E0030-teach.rs
…
E0030-teach.stderr
…
E0030.rs
…
E0030.stderr
…
E0033-teach.rs
…
E0033-teach.stderr
…
E0033.rs
…
E0033.stderr
…
E0034.rs
…
E0034.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0038.rs
Do not try to confirm non-dyn compatible method
2025-05-23 12:20:35 +00:00
E0038.stderr
Do not try to confirm non-dyn compatible method
2025-05-23 12:20:35 +00:00
E0040.fixed
…
E0040.rs
…
E0040.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0044.rs
…
E0044.stderr
…
E0045.rs
…
E0045.stderr
variadic functions: remove list of supported ABIs from error
2025-06-13 18:10:06 +02:00
E0049.rs
…
E0049.stderr
…
E0050.rs
…
E0050.stderr
…
E0054.rs
…
E0054.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0055.rs
…
E0055.stderr
…
E0057.rs
…
E0057.stderr
More sophisticated span trimming
2025-02-21 00:41:17 +00:00
E0059.rs
…
E0059.stderr
…
E0060.rs
…
E0060.stderr
More sophisticated span trimming
2025-02-21 00:41:17 +00:00
E0061.rs
…
E0061.stderr
More sophisticated span trimming
2025-02-21 00:41:17 +00:00
E0062.rs
…
E0062.stderr
…
E0063.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0063.stderr
…
E0067.rs
…
E0067.stderr
…
E0069.rs
…
E0069.stderr
…
E0070.rs
…
E0070.stderr
…
E0071.rs
…
E0071.stderr
…
E0075.rs
…
E0075.stderr
…
E0076.rs
…
E0076.stderr
…
E0077.rs
…
E0077.stderr
…
E0080.rs
Use the informative error as the main const eval error message
2025-06-02 15:37:15 +00:00
E0080.stderr
const-eval error: always say in which item the error occurred
2025-06-07 13:42:30 +02:00
E0081.rs
Prevent overflowing enum cast from ICEing
2024-10-19 09:44:37 +00:00
E0081.stderr
Prevent overflowing enum cast from ICEing
2024-10-19 09:44:37 +00:00
E0084.rs
…
E0084.stderr
Fix test output expectations
2025-02-24 14:31:19 +01:00
E0091.rs
…
E0091.stderr
…
E0093.rs
update/bless tests
2025-04-06 21:41:47 +02:00
E0093.stderr
update/bless tests
2025-04-06 21:41:47 +02:00
E0094.rs
remove support for rustc_intrinsic_must_be_overridden from the compiler
2025-02-24 07:53:59 +01:00
E0094.stderr
remove support for rustc_intrinsic_must_be_overridden from the compiler
2025-02-24 07:53:59 +01:00
E0106.rs
compiletest: Make diagnostic kind mandatory on line annotations
2025-04-30 10:44:24 +03:00
E0106.stderr
compiletest: Make diagnostic kind mandatory on line annotations
2025-04-30 10:44:24 +03:00
E0107.rs
…
E0107.stderr
…
E0109.rs
…
E0109.stderr
…
E0110.rs
…
E0110.stderr
…
E0116.rs
…
E0116.stderr
…
E0117.rs
…
E0117.stderr
…
E0118.rs
…
E0118.stderr
…
E0119.rs
…
E0119.stderr
…
E0120.rs
Make AsyncDrop check that it's being implemented on a local ADT
2025-07-09 17:07:04 +00:00
E0120.stderr
…
E0121.rs
…
E0121.stderr
Make replacement suggestion _ in type verbose
2025-09-29 03:28:52 +00:00
E0124.rs
…
E0124.stderr
…
E0128.rs
…
E0128.stderr
Disentangle ForwardGenericParamBan and ConstParamTy ribs
2025-03-12 16:56:26 +00:00
E0130.rs
…
E0130.stderr
…
E0131.rs
…
E0131.stderr
…
E0133.rs
…
E0133.stderr
…
E0152-duplicate-lang-items.rs
UI tests: migrate remaining compile time error-patterns to line annotations
2025-04-13 21:48:53 +03:00
E0152-duplicate-lang-items.stderr
UI tests: migrate remaining compile time error-patterns to line annotations
2025-04-13 21:48:53 +03:00
E0152.rs
Remove the -test suffix from normalize directives
2024-12-27 19:58:16 +11:00
E0152.stderr
…
E0161.rs
Unimplement unsized_locals
2025-06-13 01:16:36 +02:00
E0161.stderr
Unimplement unsized_locals
2025-06-13 01:16:36 +02:00
E0164.rs
…
E0164.stderr
…
E0184.rs
…
E0184.stderr
Do not suggest using -Zmacro-backtrace for builtin macros
2025-03-14 19:50:03 +00:00
E0185.rs
…
E0185.stderr
…
E0186.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0186.stderr
…
E0191.rs
…
E0191.stderr
…
E0194.rs
…
E0194.stderr
…
E0195.rs
Better error message for late/early lifetime param mismatch
2025-05-07 18:12:54 +00:00
E0195.stderr
Better error message for late/early lifetime param mismatch
2025-05-07 18:12:54 +00:00
E0197.rs
…
E0197.stderr
Tweak trait modifier errors
2025-08-11 16:58:21 -05:00
E0198.rs
…
E0198.stderr
…
E0199.rs
…
E0199.stderr
…
E0200.rs
…
E0200.stderr
…
E0201.rs
…
E0201.stderr
…
E0206.rs
…
E0206.stderr
…
E0207.rs
…
E0207.stderr
…
E0208.rs
…
E0208.stderr
…
E0214.rs
…
E0214.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0220.rs
…
E0220.stderr
…
E0221.rs
…
E0221.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0223.rs
…
E0223.stderr
Preserve generic args in suggestions for ambiguous associated items
2025-05-06 17:04:03 +02:00
E0225.rs
…
E0225.stderr
Rework trait expansion to happen once explicitly
2025-01-15 01:26:24 +00:00
E0227.rs
…
E0227.stderr
…
E0229.rs
…
E0229.stderr
Normalize each signature input/output in typeck_with_fallback with its own span
2025-01-06 17:58:30 +00:00
E0252.rs
…
E0252.stderr
…
E0254.rs
…
E0254.stderr
…
E0255.rs
…
E0255.stderr
…
E0259.rs
…
E0259.stderr
Trim suggestion part before generating highlights
2025-02-21 00:54:01 +00:00
E0260.rs
…
E0260.stderr
Trim suggestion part before generating highlights
2025-02-21 00:54:01 +00:00
E0261.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0261.stderr
Make missing lifetime suggestion verbose
2025-06-24 18:59:42 +00:00
E0262.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0262.stderr
…
E0263.rs
…
E0263.stderr
…
E0264.rs
…
E0264.stderr
…
E0267.rs
…
E0267.stderr
…
E0268.rs
…
E0268.stderr
…
E0271.rs
…
E0271.stderr
…
E0275.rs
Use tcx.short_string() in more diagnostics
2025-08-07 21:18:00 +00:00
E0275.stderr
Use tcx.short_string() in more diagnostics
2025-08-07 21:18:00 +00:00
E0276.rs
…
E0276.stderr
…
E0277-2.rs
…
E0277-2.stderr
Remove detail from label/note that is already available in other note
2024-10-29 16:26:57 +00:00
E0277-3.rs
…
E0277-3.stderr
…
E0277.rs
…
E0277.stderr
Remove detail from label/note that is already available in other note
2024-10-29 16:26:57 +00:00
E0282.rs
…
E0282.stderr
…
E0283.rs
…
E0283.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0297.rs
…
E0297.stderr
…
E0308-2.rs
…
E0308-2.stderr
…
E0308-4.rs
…
E0308-4.stderr
…
E0308.rs
remove support for rustc_intrinsic_must_be_overridden from the compiler
2025-02-24 07:53:59 +01:00
E0308.stderr
remove support for rustc_intrinsic_must_be_overridden from the compiler
2025-02-24 07:53:59 +01:00
E0311.fixed
…
E0311.rs
…
E0311.stderr
…
E0328.rs
…
E0328.stderr
…
E0365.rs
…
E0365.stderr
…
E0370.rs
…
E0370.stderr
…
E0374.rs
…
E0374.stderr
Consolidate and rework CoercePointee and DispatchFromDyn errors
2025-02-24 19:34:54 +00:00
E0375.rs
…
E0375.stderr
Consolidate and rework CoercePointee and DispatchFromDyn errors
2025-02-24 19:34:54 +00:00
E0377.rs
…
E0377.stderr
…
E0381-duplicated-label.rs
improves duplicate label test
2025-03-15 10:52:07 -06:00
E0381-duplicated-label.stderr
improves duplicate label test
2025-03-15 10:52:07 -06:00
E0389.rs
…
E0389.stderr
…
E0390.rs
…
E0390.stderr
…
E0392.rs
…
E0392.stderr
…
E0393.rs
…
E0393.stderr
Properly report error when object type param default references self
2025-01-24 04:07:10 +00:00
E0401.rs
…
E0401.stderr
…
E0403.rs
…
E0403.stderr
…
E0404.rs
…
E0404.stderr
…
E0405.rs
…
E0405.stderr
…
E0407.rs
…
E0407.stderr
…
E0408.rs
…
E0408.stderr
…
E0411.rs
…
E0411.stderr
…
E0412.rs
…
E0412.stderr
…
E0415.rs
…
E0415.stderr
…
E0416.rs
…
E0416.stderr
…
E0423.rs
…
E0423.stderr
Extend is_case_difference to handle digit-letter confusables
2025-07-31 13:55:59 +08:00
E0424.rs
…
E0424.stderr
Return early when self resolve failure because of let self = ...
2025-07-03 23:47:19 +08:00
E0425.rs
…
E0425.stderr
…
E0426.rs
…
E0426.stderr
…
E0428.rs
compiletest: Make diagnostic kind mandatory on line annotations
2025-04-30 10:44:24 +03:00
E0428.stderr
compiletest: Make diagnostic kind mandatory on line annotations
2025-04-30 10:44:24 +03:00
E0429.rs
…
E0429.stderr
…
E0430.rs
…
E0430.stderr
…
E0431.rs
…
E0431.stderr
…
E0432.rs
…
E0432.stderr
Reword "crate not found" resolve message
2025-01-24 01:19:50 +00:00
E0433.rs
…
E0433.stderr
…
E0434.rs
…
E0434.stderr
…
E0435.fixed
…
E0435.rs
…
E0435.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0437.rs
…
E0437.stderr
…
E0438.rs
…
E0438.stderr
…
E0446.rs
…
E0446.stderr
…
E0449.fixed
…
E0449.rs
…
E0449.stderr
…
E0451.rs
…
E0451.stderr
Emit a single privacy error for multiple fields on the same struct expression
2025-01-18 20:33:15 +00:00
E0452.rs
Always run tail_expr_drop_order lint on promoted MIR
2024-12-23 20:25:41 +00:00
E0452.stderr
Always run tail_expr_drop_order lint on promoted MIR
2024-12-23 20:25:41 +00:00
E0453.rs
…
E0453.stderr
…
E0454.rs
…
E0454.stderr
…
E0458.rs
Changes to the uitests
2025-08-27 20:25:18 +02:00
E0458.stderr
Changes to the uitests
2025-08-27 20:25:18 +02:00
E0459.rs
…
E0459.stderr
…
E0462.rs
fix json-*.rs and E0462 tests for compare-modes
2025-02-03 19:43:24 +00:00
E0462.stderr
tests: rebless some tests as a side-effect of TEST_BUILD_DIR changes
2025-03-04 00:21:02 +08:00
E0464.rs
fix crateresolve*.rs tests and duplicates for compare modes
2025-02-03 19:38:52 +00:00
E0464.stderr
tests: rebless some tests as a side-effect of TEST_BUILD_DIR changes
2025-03-04 00:21:02 +08:00
E0476.next.stderr
…
E0476.old.stderr
…
E0476.rs
…
E0478.rs
…
E0478.stderr
…
E0492.rs
…
E0492.stderr
const checks: avoid 'top-level scope' terminology
2025-06-27 17:03:48 +02:00
E0496.rs
…
E0496.stderr
…
E0499.rs
…
E0499.stderr
…
E0501.rs
…
E0501.stderr
…
E0502.rs
…
E0502.stderr
…
E0503.rs
…
E0503.stderr
…
E0504.rs
…
E0504.stderr
…
E0505.rs
…
E0505.stderr
…
E0506.rs
…
E0506.stderr
…
E0507.rs
…
E0507.stderr
…
E0508-fail.rs
…
E0508-fail.stderr
…
E0508.rs
…
E0508.stderr
…
E0509.rs
…
E0509.stderr
…
E0511.rs
remove most simd_ intrinsic declaration in tests
2025-02-27 12:22:59 +01:00
E0511.stderr
remove most simd_ intrinsic declaration in tests
2025-02-27 12:22:59 +01:00
E0512.rs
…
E0512.stderr
…
E0516.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0516.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0517.rs
…
E0517.stderr
…
E0519.rs
…
E0519.stderr
…
E0520.rs
…
E0520.stderr
…
E0522.rs
…
E0522.stderr
…
E0523.rs
fix crateresolve*.rs tests and duplicates for compare modes
2025-02-03 19:38:52 +00:00
E0523.stderr
tests: rebless some tests as a side-effect of TEST_BUILD_DIR changes
2025-03-04 00:21:02 +08:00
E0527.rs
…
E0527.stderr
…
E0528.rs
…
E0528.stderr
…
E0529.rs
…
E0529.stderr
…
E0530.rs
…
E0530.stderr
…
E0532.rs
…
E0532.stderr
…
E0539.rs
make error codes reflect reality better
2025-06-17 23:22:51 +02:00
E0539.stderr
make error codes reflect reality better
2025-06-17 23:22:51 +02:00
E0540.rs
make error codes reflect reality better
2025-06-17 23:22:51 +02:00
E0540.stderr
Add more docs to templates for attrs with incorrect arguments
2025-08-11 17:02:32 +00:00
E0559.rs
…
E0559.stderr
…
E0560.rs
…
E0560.stderr
…
E0565-1.rs
…
E0565-1.stderr
Allow attr entries to declare list of alternatives for List and NamedValueStr
2025-08-11 16:00:49 +00:00
E0565.rs
…
E0565.stderr
Fix test output expectations
2025-02-24 14:31:19 +01:00
E0572.rs
…
E0572.stderr
…
E0582.rs
…
E0582.stderr
TypeVerifier do not walk into required consts
2025-03-06 12:53:35 +01:00
E0583.rs
…
E0583.stderr
…
E0585.rs
…
E0585.stderr
…
E0586.rs
…
E0586.stderr
…
E0594.rs
…
E0594.stderr
…
E0596.rs
…
E0596.stderr
…
E0597.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0597.stderr
…
E0599.rs
…
E0599.stderr
…
E0600.rs
…
E0600.stderr
…
E0601.rs
…
E0601.stderr
…
E0602.rs
UI tests: migrate remaining compile time error-patterns to line annotations
2025-04-13 21:48:53 +03:00
E0602.stderr
…
E0603.rs
…
E0603.stderr
…
E0604.rs
…
E0604.stderr
reword suggestion message
2025-06-06 20:52:34 +00:00
E0605.rs
…
E0605.stderr
…
E0606.rs
UI tests: add missing diagnostic kinds where possible
2025-04-08 23:06:31 +03:00
E0606.stderr
…
E0607.rs
…
E0607.stderr
…
E0608.rs
…
E0608.stderr
…
E0609-private-method.rs
…
E0609-private-method.stderr
…
E0609.rs
…
E0609.stderr
…
E0610.rs
…
E0610.stderr
…
E0614.rs
…
E0614.stderr
Make E0614 a structured error
2025-02-25 16:56:04 +00:00
E0615.rs
…
E0615.stderr
…
E0616.rs
…
E0616.stderr
…
E0617.rs
bless the tests and add a new one
2024-11-29 00:45:14 +01:00
E0617.stderr
simplify how the hir_typeck_pass_to_variadic_function diagnostic is created
2024-11-29 20:49:06 +01:00
E0618.rs
…
E0618.stderr
…
E0620.rs
…
E0620.stderr
reword suggestion message
2025-06-06 20:52:34 +00:00
E0621-does-not-trigger-for-closures.rs
…
E0621-does-not-trigger-for-closures.stderr
…
E0624.rs
…
E0624.stderr
…
E0637.rs
…
E0637.stderr
Suggest use another lifetime specifier instead of underscore lifetime
2025-07-01 19:58:27 +08:00
E0642.fixed
…
E0642.rs
…
E0642.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0646.rs
…
E0646.stderr
…
E0648.rs
…
E0648.stderr
…
E0657.rs
Add missing dyn keywords to tests that do not test for them
2025-06-02 11:02:50 +02:00
E0657.stderr
Add missing dyn keywords to tests that do not test for them
2025-06-02 11:02:50 +02:00
E0658.rs
Stabilise repr128
2025-05-28 15:14:34 +01:00
E0658.stderr
Stabilise repr128
2025-05-28 15:14:34 +01:00
E0659.rs
Use non-2015 edition paths in tests that do not test for their resolution
2025-06-03 10:13:33 +02:00
E0659.stderr
Use non-2015 edition paths in tests that do not test for their resolution
2025-06-03 10:13:33 +02:00
E0711.rs
…
E0711.stderr
…
E0718.rs
…
E0718.stderr
Update uitests
2025-08-14 18:18:42 +02:00
E0719.rs
Enforce E0719 only for trait aliases
2025-09-18 09:16:58 -04:00
E0719.stderr
Enforce E0719 only for trait aliases
2025-09-18 09:16:58 -04:00
E0730.rs
…
E0730.stderr
…
E0746.rs
…
E0746.stderr
Show diff suggestion format on verbose replacement
2025-02-10 20:21:39 +00:00
E0767.rs
…
E0767.stderr
…
E0771.rs
…
E0771.stderr
Introduce feature(generic_const_parameter_types)
2025-02-28 20:43:15 +00:00
E0777.rs
…
E0777.stderr
…
E0778.rs
…
E0778.stderr
…
E0779.rs
…
E0779.stderr
…
E0789.rs
Fix test output expectations
2025-02-24 14:31:19 +01:00
E0789.stderr
Fix test output expectations
2025-02-24 14:31:19 +01:00
E0790.rs
…
E0790.stderr
Retire hir::*ItemRef.
2025-07-13 13:50:01 +00:00
E0799.rs
…
E0799.stderr
…
E0800.rs
…
E0800.stderr
…
ex-E0611.rs
…
ex-E0611.stderr
…
ex-E0612.rs
…
ex-E0612.stderr
Do not provide field typo suggestions for tuples and tuple structs
2025-08-07 21:39:00 +00:00