user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/traits
History
Exact
Matthias Krüger a054be7434
Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnr 
Only include `dyn Trait<Assoc = ...>` associated type bounds for `Self: Sized` associated types if they are provided

Since #136458, we began filtering out associated types with `Self: Sized` bounds when constructing the list of associated type bounds to put into our `dyn Trait` types. For example, given:

```rust
trait Trait {
    type Assoc where Self: Sized;
}
```

After #136458, even if a user writes `dyn Trait<Assoc = ()>`, the lowered ty would have an empty projection list, and thus be equivalent to `dyn Trait`. However, this has the side effect of no longer constraining any types in the RHS of `Assoc = ...`, not implying any WF implied bounds, and not requiring that they hold when unsizing.

After this PR, we include these bounds, but (still) do not require that they are provided. If the are not provided, they are skipped from the projections list.

This results in `dyn Trait` types that have differing numbers of projection bounds. This will lead to re-introducing type mismatches e.g. between `dyn Trait` and `dyn Trait<Assoc = ()>`. However, this is expected and doesn't suffer from any of the deduplication unsoundness from before #136458.

We may want to begin to ignore thse bounds in the future by bumping `unused_associated_type_bounds` to an FCW. I don't want to tangle that up into the fix that was originally intended in #136458, so I'm doing a "fix-forward" in this PR and deferring thinking about this for the future.

Fixes #140645

r? lcnr
2025-05-08 20:22:16 +02:00
..
alias UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
associated_type_bound Add test for issue 34834 2025-04-14 17:16:23 +09:00
auxiliary Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
bound Do not gather local all together at the beginning of typeck 2025-05-05 14:27:09 +00:00
const-traits Treat ManuallyDrop as ~const Destruct 2025-04-29 10:39:54 +00:00
default-method UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
default_auto_traits UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
error-reporting Consider param-env candidates even if they have errors 2024-10-24 01:48:44 +00:00
fn-pointer Make bare-fn test less dependent on path width 2025-01-09 17:32:29 +00:00
inductive-overflow Do not register Self: AutoTrait when confirming auto trait 2025-03-09 02:00:01 +00:00
inheritance Mention type parameter in more cases and don't suggest ~const bound already there 2024-12-07 21:37:13 +00:00
negative-bounds Check Sizedness of return type in WF 2025-02-03 19:00:22 +00:00
negative-impls Make rustdoc tests use always applicable negative auto impls 2025-03-04 18:04:07 +00:00
next-solver Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr 2025-05-08 08:14:18 +02:00
non_lifetime_binders UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
object Review 2025-05-07 17:29:12 +00:00
reservation-impl [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
solver-cycles compiletest: Require //~ annotations even if error-pattern is specified 2025-04-03 11:08:55 +03:00
suggest-dereferences E0277: suggest dereferencing function arguments in more cases 2024-11-21 03:27:05 -08:00
trait-upcasting Rollup merge of #138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errors 2025-03-12 10:19:31 -07:00
vtable Rework rustc_dump_vtable 2025-01-30 15:30:04 +00:00
wf-object UI tests: Rename "object safe" to "dyn compatible" 2024-10-10 01:13:29 +02:00
winnowing Rollup merge of #139798 - lcnr:where-bounds-gt-alias-bound, r=compiler-errors 2025-04-15 15:47:30 +10:00
alignment-gep-tup-like-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
anon-static-method.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
anon_trait_static_method_exe.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
as-struct-constructor.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
as-struct-constructor.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assignability-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
assoc-type-hrtb-normalization-30472.rs Add test for issue 30472 2024-10-07 16:30:48 +00:00
assoc-type-in-superbad.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
assoc-type-in-superbad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
assoc-type-in-supertrait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
astconv-cycle-between-and-type.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
augmented-assignments-trait.rs Detect unused struct impls pub trait 2024-03-10 23:30:53 +08:00
bad-method-typaram-kind.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
bad-method-typaram-kind.stderr Mention type parameter in more cases and don't suggest ~const bound already there 2024-12-07 21:37:13 +00:00
bad-sized.rs Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
bad-sized.stderr Rework trait expansion to happen once explicitly 2025-01-15 01:26:24 +00:00
bug-7183-generics.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
bug-7295.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
cache-issue-18209.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
cache-reached-depth-ice.rs update tests 2023-06-19 15:39:55 +02:00
cache-reached-depth-ice.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
coercion-generic-bad.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
coercion-generic-bad.stderr Add trait diff highlighting logic and use it in E0277 2024-11-02 03:08:04 +00:00
coercion-generic-regions.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
coercion-generic-regions.stderr best_blame_constraint: don't filter constraints by sup SCC 2025-01-06 16:08:29 -08:00
coercion-generic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
coercion.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
composition-trivial.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
conditional-dispatch.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
conditional-model-fn.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
conservative_impl_trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
copy-guessing.rs Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
copy-guessing.stderr Use fn ptr signature instead of {closure@..} in infer error 2024-04-10 00:41:27 +00:00
copy-impl-cannot-normalize.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
copy-impl-cannot-normalize.stderr reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
copy-is-not-modulo-regions.not_static.stderr Do not talk about "trait <Foo = Bar>" 2024-12-07 21:37:15 +00:00
copy-is-not-modulo-regions.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
copy-requires-self-wf.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
cycle-cache-err-60010.rs Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics 2024-01-02 14:17:56 +00:00
cycle-cache-err-60010.stderr Reorder check_item_type diagnostics so they occur next to the corresponding check_well_formed diagnostics 2024-01-02 14:17:56 +00:00
cycle-generic-bound.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
cycle-type-trait.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
deep-norm-pending.rs Don't ICE on pending obligations from deep normalization in a loop 2025-04-19 17:34:00 +00:00
deep-norm-pending.stderr Don't ICE on pending obligations from deep normalization in a loop 2025-04-19 17:34:00 +00:00
deny-builtin-object-impl.current.stderr split up #[rustc_deny_explicit_impl] attribute 2024-12-20 16:57:14 +01:00
deny-builtin-object-impl.next.stderr split up #[rustc_deny_explicit_impl] attribute 2024-12-20 16:57:14 +01:00
deny-builtin-object-impl.rs split up #[rustc_deny_explicit_impl] attribute 2024-12-20 16:57:14 +01:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
dont-autoderef-ty-with-escaping-var.rs Use erased self type when autoderefing for trait error suggestion 2023-07-23 14:13:52 -04:00
dont-autoderef-ty-with-escaping-var.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.rs Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
dont-match-error-ty-with-calller-supplied-obligation-issue-121941.stderr Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
dont-suggest-impl-as-closure-arg.rs Suggest the use of impl Trait in function parameter only 2025-04-09 08:56:04 +02:00
dont-suggest-impl-as-closure-arg.stderr Suggest the use of impl Trait in function parameter only 2025-04-09 08:56:04 +02:00
duplicate-methods.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
duplicate-methods.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
dyn-any-prefer-vtable.rs Rewrite select to use a ProofTreeVisitor 2024-05-01 14:19:34 -04:00
dyn-drop-principal-with-projections.rs Fix trait upcasting to dyn type with no principal when there are projections 2025-04-05 19:34:04 +00:00
dyn-drop-principal.rs Add more tests 2024-10-18 00:33:50 +02:00
dyn-drop-principal.run.stdout Allow dropping dyn principal 2024-10-17 20:43:31 +02:00
dyn-star-drop-principal.rs Add more tests 2024-10-18 00:33:50 +02:00
dyn-star-drop-principal.stderr Add more tests 2024-10-18 00:33:50 +02:00
dyn-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
early-vtbl-resolution.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
elaborate-type-region.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
false-ambiguity-where-clause-builtin-bound.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
fmt-pointer-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
fully-qualified-syntax-cast.rs test: Add test for trait in FQS cast, issue #98565 2024-10-21 11:45:19 +03:00
fully-qualified-syntax-cast.stderr test: Add test for trait in FQS cast, issue #98565 2024-10-21 11:45:19 +03:00
generic.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
generic_param_mismatch_in_unsatisfied_projection.rs Mark all extraneous generic args as errors 2024-06-03 13:21:17 +00:00
generic_param_mismatch_in_unsatisfied_projection.stderr Mark all extraneous generic args as errors 2024-06-03 13:21:17 +00:00
hrtb-related-type-params-30867.rs Add test for issue 30867 2024-10-07 16:30:48 +00:00
ice-index-out-of-bounds-issue-117446.rs Added regression test for 117446 2024-11-02 22:17:46 +09:00
ice-index-out-of-bounds-issue-117446.stderr Added regression test for 117446 2024-11-02 22:17:46 +09:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-1.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-2.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.rs add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-trait-with-default-method-but-no-impl-broken-mir-109869-trivial-bounds.stderr add tests for ICE: 'broken MIR: bad assignment: NoSolution' on trait with default method and no impls 2024-03-24 10:57:20 +01:00
ice-with-dyn-pointee-errors.rs Add passing & failing test for bultin dyn trait generation 2023-06-27 17:52:26 +09:30
ice-with-dyn-pointee-errors.stderr Rework "long type names" printing logic 2025-01-31 20:39:01 +00:00
ice-with-dyn-pointee.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
ignore-err-impls.rs Filter impl and where-clause candidates that reference errors 2023-01-11 20:03:29 +00:00
ignore-err-impls.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-1.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-2.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
impl-bounds-checking.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-bounds-checking.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-can-not-have-untraitful-items.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-can-not-have-untraitful-items.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-different-num-params.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-different-num-params.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-evaluation-order.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-for-module.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-for-module.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
impl-implicit-trait.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
impl-inherent-prefer-over-trait.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-inherent-prefer-over-trait.stderr Update tests 2024-02-07 10:42:01 +08:00
impl-method-mismatch.rs compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
impl-method-mismatch.stderr compiletest: Make diagnostic kind mandatory on line annotations 2025-04-30 10:44:24 +03:00
impl-object-overlap-issue-23853.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
impl-object-overlap-issue-23853.stderr Update tests 2024-02-07 10:42:01 +08:00
impl-of-supertrait-has-wrong-lifetime-parameters.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
impl-of-supertrait-has-wrong-lifetime-parameters.stderr fix: Alloc new errorcode E0803 for E0495 2025-02-15 12:18:30 +08:00
impl.rs Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
impl.stderr Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
impl_trait_as_trait_return_position.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
incoherent-impl-ambiguity.rs Separate collection of crate-local inherent impls from error reporting 2024-09-24 10:12:05 -04:00
incoherent-impl-ambiguity.stderr Separate collection of crate-local inherent impls from error reporting 2024-09-24 10:12:05 -04:00
incomplete-infer-via-sized-wc.current.stderr Flesh out tests 2025-03-13 21:17:46 +00:00
incomplete-infer-via-sized-wc.next.stderr Flesh out tests 2025-03-13 21:17:46 +00:00
incomplete-infer-via-sized-wc.rs Flesh out tests 2025-03-13 21:17:46 +00:00
infer-from-object-issue-26952.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
inherent-method-order.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-2611-3.rs Move tests 2024-04-07 17:38:07 -03:00
issue-3683.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-3973.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-3973.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-3979-generics.rs Move tests 2024-03-03 16:30:48 -03:00
issue-4107.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-5008-borrowed-traitobject-method-call.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-6128.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-6128.stderr Update tests 2024-02-07 10:42:01 +08:00
issue-6334.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-7013.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-7013.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-8153.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-8153.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-9394-inherited-calls.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-15155.rs Move tests 2024-03-03 16:30:48 -03:00
issue-18400.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-18400.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-18412.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-20692.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-20692.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
issue-21837.rs Move tests 2024-03-03 16:30:48 -03:00
issue-21837.stderr reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
issue-22019.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-22110.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-22384.rs Move test files 2023-04-20 15:06:17 -03:00
issue-22384.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-22655.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-23003-overflow.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-23003.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
issue-23825.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-24010.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
issue-26339.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-28576.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-28576.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
issue-32963.rs Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
issue-32963.stderr Dont create object type when more than one principal is present 2024-11-23 18:54:08 +00:00
issue-33096.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-33140-hack-boundaries.rs Turn order dependent trait objects future incompat warning into a hard error 2025-02-20 13:39:39 +00:00
issue-33140-hack-boundaries.stderr Turn order dependent trait objects future incompat warning into a hard error 2025-02-20 13:39:39 +00:00
issue-33140.rs Continue compilation even if inherent impl checks fail 2024-02-14 21:04:51 +00:00
issue-33140.stderr Continue compilation even if inherent impl checks fail 2024-02-14 21:04:51 +00:00
issue-33187.rs Detect unused struct impls pub trait 2024-03-10 23:30:53 +08:00
issue-35869.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-35869.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
issue-38033.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-38033.stderr Update tests 2024-02-07 10:42:01 +08:00
issue-38404.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-38404.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
issue-38604.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-38604.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
issue-40085.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43132.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-43784-supertrait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-43784-supertrait.stderr Use trait name instead of full constraint in suggestion message 2024-12-07 21:29:58 +00:00
issue-50480.rs Continue compilation after check_mod_type_wf errors 2024-02-14 11:00:30 +00:00
issue-50480.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00
issue-52893.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52893.stderr Check for generic parameter mismatches on trait functions. 2025-02-03 12:54:53 -05:00
issue-56202.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-56488.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-58344.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-59029-1.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-59029-1.stderr Tweak wording 2023-10-13 19:18:46 +00:00
issue-59029-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-65284-suggest-generic-trait-bound.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-65284-suggest-generic-trait-bound.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-65673.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-65673.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-66768.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-68295.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-68295.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-70944.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-71036.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-71036.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-71136.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-71136.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00
issue-72410.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
issue-72410.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
issue-72455.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-75627.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-75627.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-77982.rs Enable more tests on Windows 2025-02-03 10:39:32 -05:00
issue-77982.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
issue-78372.rs Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
issue-78372.stderr Consolidate and rework CoercePointee and DispatchFromDyn errors 2025-02-24 19:34:54 +00:00
issue-78632.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-79458.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-79458.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00
issue-82830.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-83538-tainted-cache-after-cycle.rs update tests 2023-06-19 15:39:55 +02:00
issue-83538-tainted-cache-after-cycle.stderr update tests 2023-06-19 15:39:55 +02:00
issue-84399-bad-fresh-caching.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-85360-eval-obligation-ice.rs replace //@ compile-flags: --edition with //@ edition 2025-04-10 09:56:37 +02:00
issue-85360-eval-obligation-ice.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
issue-85735.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-85735.stderr Add print_trait_sugared 2023-12-05 17:15:46 +00:00
issue-87558.rs Rename HIR TypeBinding to AssocItemConstraint and related cleanup 2024-05-30 22:52:33 +02:00
issue-87558.stderr Auto merge of #125778 - estebank:issue-67100, r=compiler-errors 2024-06-03 08:14:03 +00:00
issue-89119.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90195-2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90195.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-90662-projection-caching.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-91594.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-91594.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-91949-hangs-on-recursion.rs Gate the type length limit check behind a nightly flag 2024-07-12 21:16:09 -04:00
issue-91949-hangs-on-recursion.stderr Gate the type length limit check behind a nightly flag 2024-07-12 21:16:09 -04:00
issue-92292.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95311.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95898.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-95898.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
issue-96664.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-96665.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-97576.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
issue-97576.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-97695-double-trivial-bound.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-103563.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-104322.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-105231.rs stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
issue-105231.stderr stabilize -Znext-solver=coherence 2024-10-15 13:11:00 +02:00
issue-106072.rs UI tests: add missing diagnostic kinds where possible 2025-04-08 23:06:31 +03:00
issue-106072.stderr Do not suggest using -Zmacro-backtrace for builtin macros 2025-03-14 19:50:03 +00:00
issue-117794.rs skip rpit constraint check if borrowck return type error 2023-12-17 16:49:00 +08:00
issue-117794.stderr Consider methods from traits when suggesting typos 2024-02-22 18:04:55 +00:00
item-inside-macro.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
item-privacy.rs fallout :skull_emoji: 2025-02-14 00:37:23 +01:00
item-privacy.stderr fallout :skull_emoji: 2025-02-14 00:37:23 +01:00
kindck-owned-contains-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
lifetime-incomplete-prefer-sized-builtin-over-wc-2.rs Flesh out tests 2025-03-13 21:17:46 +00:00
lifetime-incomplete-prefer-sized-builtin-over-wc.current.stderr Flesh out tests 2025-03-13 21:17:46 +00:00
lifetime-incomplete-prefer-sized-builtin-over-wc.next.stderr Flesh out tests 2025-03-13 21:17:46 +00:00
lifetime-incomplete-prefer-sized-builtin-over-wc.rs Flesh out tests 2025-03-13 21:17:46 +00:00
make-sure-to-filter-projections-by-def-id.rs Check def id before calling match_projection_projections 2024-04-04 16:01:13 -04:00
map-types.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
map-types.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
matching-lifetimes.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
matching-lifetimes.stderr Stop sorting via DefIds in region resolution 2024-03-21 16:36:17 +00:00
maybe-polarity-pass.rs Reject impl Trait bounds in various places where we unconditionally warned since 1.0 2025-02-11 09:19:37 +00:00
maybe-polarity-pass.stderr Reject impl Trait bounds in various places where we unconditionally warned since 1.0 2025-02-11 09:19:37 +00:00
maybe-polarity-repeated.rs Reject impl Trait bounds in various places where we unconditionally warned since 1.0 2025-02-11 09:19:37 +00:00
maybe-polarity-repeated.stderr Reject impl Trait bounds in various places where we unconditionally warned since 1.0 2025-02-11 09:19:37 +00:00
method-argument-mismatch-variance-ice-119867.rs Taint _ placeholder types 2024-01-12 16:33:29 +00:00
method-argument-mismatch-variance-ice-119867.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
method-on-unbounded-type-param.rs Add test for method on unbounded type parameter receiver 2024-01-30 19:07:18 +00:00
method-on-unbounded-type-param.stderr Implement BOXED_SLICE_INTO_ITER 2024-05-20 19:21:30 -04:00
method-private.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
method-private.stderr Tweak wording of "implemented trait isn't imported" suggestion 2024-02-22 18:05:27 +00:00
missing-for-type-in-impl.e2015.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
missing-for-type-in-impl.e2021.stderr Remove a bunch of diagnostic stashing that doesn't do anything 2025-01-11 19:22:06 +00:00
missing-for-type-in-impl.rs Refactor dyn-compatibility error and suggestions 2025-01-22 09:20:57 -08:00
monad.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
monomorphized-callees-with-ty-params-3314.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
multidispatch-bad.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
multidispatch-bad.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
multidispatch-conditional-impl-not-considered.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch-conditional-impl-not-considered.stderr Update tests 2024-02-07 10:42:01 +08:00
multidispatch-convert-ambig-dest.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
multidispatch-convert-ambig-dest.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
multidispatch-infer-convert-target.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch-infer-convert-target.stderr Update tests 2024-02-07 10:42:01 +08:00
multidispatch1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
multidispatch2.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
mutual-recursion-issue-75860.rs Check closure args and returns are WF 2024-04-25 10:03:17 -04:00
mutual-recursion-issue-75860.stderr increment depth of nested obligations 2025-03-31 23:58:17 +02:00
no-fallback-multiple-impls.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
no-fallback-multiple-impls.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
no_send-struct.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
no_send-struct.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
non-lifetime-via-dyn-builtin.current.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
non-lifetime-via-dyn-builtin.next.stderr Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
non-lifetime-via-dyn-builtin.rs Ignore tests w/ current/next revisions from compare-mode=next-solver 2024-03-10 21:18:41 -04:00
normalize-conflicting-impls.rs Fix an ICE in the recursion lint 2024-02-16 09:29:39 +00:00
normalize-conflicting-impls.stderr Fix an ICE in the recursion lint 2024-02-16 09:29:39 +00:00
normalize-supertrait.rs Prefer lower vtable candidates in select in new solver 2024-05-06 10:48:39 -04:00
not-suggest-non-existing-fully-qualified-path.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
not-suggest-non-existing-fully-qualified-path.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
object-does-not-impl-trait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
object-does-not-impl-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
object-one-type-two-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
objects-owned-object-borrowed-method-headerless.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
on_unimplemented_long_types.rs tests: remove explicit long type filename hash normalization from some ui tests 2025-03-04 00:21:02 +08:00
on_unimplemented_long_types.stderr tests: remove explicit long type filename hash normalization from some ui tests 2025-03-04 00:21:02 +08:00
operator-overloading-issue-52025.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
overflow-computing-ambiguity.rs Discard overflow obligations in impl_may_apply 2024-04-07 23:21:45 -04:00
overflow-computing-ambiguity.stderr Discard overflow obligations in impl_may_apply 2024-04-07 23:21:45 -04:00
overlap-not-permitted-for-builtin-trait.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
overlap-not-permitted-for-builtin-trait.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
overlap-permitted-for-marker-traits.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
param-without-lifetime-constraint.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
param-without-lifetime-constraint.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
parameterized-with-bounds.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
pointee-deduction.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-normalize-equate.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-tail-is-generic-errors.rs Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
pointee-tail-is-generic-errors.stderr Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
pointee-tail-is-generic.rs Implement #[define_opaque] attribute for functions. 2025-03-11 12:05:02 +00:00
pred-known-to-hold-modulo-regions-unsized-tail.rs add non-regression test for issue 123275 2024-04-06 23:25:58 +00:00
principal-less-objects.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
privacy.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
project-modulo-regions.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
project-modulo-regions.with_clause.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
project-modulo-regions.without_clause.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
question-mark-result-err-mismatch.rs Don't mention FromResidual on bad ? 2025-02-18 17:34:16 +00:00
question-mark-result-err-mismatch.stderr Don't mention FromResidual on bad ? 2025-02-18 17:34:16 +00:00
region-pointer-simple.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
resolution-in-overloaded-op.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
resolution-in-overloaded-op.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
resolve-impl-before-constrain-check.rs Delay a bug when encountering an impl with unconstrained generics in codegen_select 2024-11-23 05:27:45 +00:00
resolve-impl-before-constrain-check.stderr Delay a bug when encountering an impl with unconstrained generics in codegen_select 2024-11-23 05:27:45 +00:00
safety-fn-body.rs Remove revisions for THIR unsafeck 2024-01-05 09:30:27 +00:00
safety-fn-body.stderr Stabilize THIR unsafeck 2024-01-05 10:00:59 +00:00
safety-inherent-impl.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
safety-inherent-impl.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
safety-ok-cc.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-ok.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-trait-impl-cc.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
safety-trait-impl-cc.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
safety-trait-impl.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
safety-trait-impl.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
self-without-lifetime-constraint.rs Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
self-without-lifetime-constraint.stderr Continue to borrowck even if there were previous errors 2024-02-08 08:10:43 +00:00
span-bug-issue-121414.rs Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
span-bug-issue-121414.stderr Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
stack-error-order-dependence-2.rs Add regression tests for 123303 2024-03-31 21:03:59 -04:00
stack-error-order-dependence.rs Add regression tests for 123303 2024-03-31 21:03:59 -04:00
static-method-generic-inference.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
static-method-generic-inference.stderr Deduplicate more sized errors on call exprs 2024-01-24 02:53:15 +00:00
static-method-overwriting.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
static-outlives-a-where-clause.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
staticness-mismatch.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
staticness-mismatch.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
subtype-recursion-limit.rs change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
subtype-recursion-limit.stderr change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
suggest-fully-qualified-closure.rs Replace closures with _ when suggesting fully qualified path for method call 2024-03-21 00:07:44 +00:00
suggest-fully-qualified-closure.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
suggest-fully-qualified-path-with-adjustment.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-fully-qualified-path-with-adjustment.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
suggest-fully-qualified-path-without-adjustment.rs Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00:00
suggest-fully-qualified-path-without-adjustment.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00
suggest-remove-deref-issue-140166.rs Add ui test suggest-remove-deref-issue-140166 2025-05-07 17:32:59 +08:00
suggest-remove-deref-issue-140166.stderr Check & before suggest remove deref when trait_selection 2025-05-07 23:23:25 +08:00
suggest-where-clause.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
suggest-where-clause.stderr On E0277 be clearer about implicit Sized bounds on type params and assoc types 2024-02-01 03:30:26 +00:00
superdefault-generics.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
syntax-polarity.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
syntax-trait-polarity.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
syntax-trait-polarity.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
test-2.rs diagnostics: remove inconsistent English article "this" from E0107 2023-02-23 10:27:06 -07:00
test-2.stderr Compiler: Finalize dyn compatibility renaming 2025-01-26 21:20:31 +01:00
test.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
test.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
to-str.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
track-obligations.rs Add tests 2023-01-13 18:20:24 +00:00
track-obligations.stderr Use fulfillment, not evaluate, during method probe 2024-04-21 20:10:12 -04:00
trait-impl-self-mismatch.rs Add regression test for 133065 2025-05-02 15:53:51 +09:00
trait-impl-self-mismatch.stderr Add regression test for 133065 2025-05-02 15:53:51 +09:00
trait-object-lifetime-default-note.rs best_blame_constraint: add a special case to recover object lifetime default notes 2025-01-06 16:12:04 -08:00
trait-object-lifetime-default-note.stderr best_blame_constraint: add a special case to recover object lifetime default notes 2025-01-06 16:12:04 -08:00
trait-or-new-type-instead.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
trait-or-new-type-instead.stderr Remove stray . from error message 2024-06-21 21:13:10 +00:00
trait-selection-ice-84727.rs add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not 2024-03-25 20:20:01 +01:00
trait-selection-ice-84727.stderr add test for ICE Where clause Binder(..) was applicable to Obligation(..) but now is not 2024-03-25 20:20:01 +01:00
trivial-unsized-projection-2.bad.stderr Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
trivial-unsized-projection-2.bad_new.stderr Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
trivial-unsized-projection-2.rs Use a query rather than recomputing the tail repeatedly 2025-04-09 20:26:58 +00:00
trivial-unsized-projection-in-coherence.rs Make unnormalizable item ambiguous in coherence 2025-04-09 20:31:58 +00:00
trivial-unsized-projection-in-coherence.stderr Make unnormalizable item ambiguous in coherence 2025-04-09 20:31:58 +00:00
trivial-unsized-projection.bad.stderr Rigidly project missing item due to guaranteed impossible sized predicate 2025-04-09 20:26:57 +00:00
trivial-unsized-projection.bad_new.stderr Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in error reporting 2025-04-09 20:26:57 +00:00
trivial-unsized-projection.rs Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in error reporting 2025-04-09 20:26:57 +00:00
trivial_impl.rs Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl2.rs Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +00:00
trivial_impl2.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl3.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
trivial_impl3.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl4.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
trivial_impl4.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
trivial_impl_sized.rs Don't require method impls for methods with Self:Sized bounds for impls for unsized types 2025-02-25 08:06:30 +00:00
trivial_impl_sized.stderr Don't require method impls for methods with Self:Sized bounds for impls for unsized types 2025-02-25 08:06:30 +00:00
typeclasses-eq-example-static.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
typeclasses-eq-example.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
ufcs-object.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unconstrained-projection-normalization-2.current.stderr Also in the new solver 2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization-2.next.stderr Also in the new solver 2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization-2.rs Also in the new solver 2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.current.stderr Also in the new solver 2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.next.stderr Also in the new solver 2025-01-03 05:22:14 +00:00
unconstrained-projection-normalization.rs Also in the new solver 2025-01-03 05:22:14 +00:00
unsend-future.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
unsend-future.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
unsize-goal-escaping-bounds.current.stderr Check whole Unsize predicate for escaping bound vars 2025-02-10 21:53:05 +00:00
unsize-goal-escaping-bounds.rs Check whole Unsize predicate for escaping bound vars 2025-02-10 21:53:05 +00:00
unspecified-self-in-trait-ref.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
unspecified-self-in-trait-ref.stderr Properly report error when object type param default references self 2025-01-24 04:07:10 +00:00
upcast_reorder.rs remove feature(trait_upcasting) from tests and bless them 2025-02-06 23:44:23 +01:00
upcast_soundness_bug.rs remove feature(trait_upcasting) from tests and bless them 2025-02-06 23:44:23 +01:00
upcast_soundness_bug.stderr remove feature(trait_upcasting) from tests and bless them 2025-02-06 23:44:23 +01:00
use-before-def.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
vtable-res-trait-param.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
vtable-res-trait-param.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01:00
well-formed-recursion-limit.rs change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
well-formed-recursion-limit.stderr change error messages to be incorrect, but more helpful 2024-02-22 18:18:33 +01:00
where-clause-vs-impl.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
with-bounds-default.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
with-dst.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
wrong-mul-method-signature.rs Move some UI tests into subdirectories 2023-04-02 19:42:30 -04:00
wrong-mul-method-signature.stderr Show diff suggestion format on verbose replacement 2025-02-10 20:21:39 +00:00