Jacob Pratt 64c43edffe Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1-dead ...

Unconditionally-const supertraits are considered not dyn compatible

Let's save some space in the design of const traits by making `dyn Trait` where `trait Trait: const Super` not dyn compatible.

Such a trait cannot satisfy `dyn Trait: Trait`; we could in the future make this dyn compatible but *NOT* implement `Trait`, but that's a bit weird and seems like it needs to be independently justified moving forward.

Fixes https://github.com/rust-lang/rust/issues/145198

r? fee1-dead

2025-08-21 01:12:21 -04:00

..

alias

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

associated_type_bound

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

auxiliary

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04:00

bound

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

const-traits

Rollup merge of #145627 - compiler-errors:const-supertrait-dyn-compat, r=fee1-dead

2025-08-21 01:12:21 -04:00

default_auto_traits

HIR ty lowering: Validate relaxed bounds in trait object types

2025-07-18 03:13:21 +02:00

default-method

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

error-reporting

Don't call predicates_of on a dummy obligation cause's body id

2025-07-05 17:47:28 +00:00

fn-pointer

Make bare-fn test less dependent on path width

2025-01-09 17:32:29 +00:00

inductive-overflow

Tweak auto trait errors

2025-08-04 17:20:07 +00:00

inheritance

Point to correct argument in Func Call when Self type fails trait bound

2025-07-07 16:47:15 +08:00

negative-bounds

Do not consider a T: !Sized candidate to satisfy a T: !MetaSized obligation.

2025-08-17 13:37:32 -05:00

negative-impls

Make rustdoc tests use always applicable negative auto impls

2025-03-04 18:04:07 +00:00

next-solver

add regression test

2025-08-14 15:32:50 +02:00

non_lifetime_binders

Fix pretty printing of placeholder types

2025-07-04 18:26:09 +00:00

object

builtin dyn impl no guide inference

2025-06-03 18:08:15 +02: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

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

vtable

Use the new solver in the impossible_predicates

2025-04-23 18:04:25 +00:00

wf-object

Reword diagnostics about relaxed bounds in invalid contexts

2025-07-18 12:13:19 +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_trait_static_method_exe.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

as-struct-constructor.rs

…

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

…

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

…

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

blanket-impl-trait-object-10456.rs

comments

2025-07-25 20:38:54 +05: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

tests: bless remaining tests

2025-06-16 23:04:35 +00:00

cache-reached-depth-ice.stderr

tests: bless remaining tests

2025-06-16 23:04:35 +00:00

clone-unwind-rc-cleanup.rs

cleaned up some tests

2025-06-04 17:48:50 +05:00

coercion-generic-bad.rs

…

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

…

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

constrained-type-params-trait-impl.rs

cleaned up some tests

2025-06-28 16:24:17 +05:00

constrained-type-params-trait-impl.stderr

Don't look at static items' HIR for wfcheck

2025-06-30 08:45:43 +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

…

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-all-fields-copy.rs

cleaned up some tests

2025-07-05 00:50:51 +05:00

copy-requires-all-fields-copy.stderr

cleaned up some tests

2025-07-05 00:50:51 +05:00

copy-requires-self-wf.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

copy-trait-implicit-copy.rs

cleaned up some tests

2025-06-04 17:48:50 +05: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

Use predicate spans instead of whole item spans

2025-06-30 08:45:43 +00:00

deep-norm-pending.stderr

Use predicate spans instead of whole item spans

2025-06-30 08:45:43 +00:00

default_method_simple.rs

cleaned up some tests

2025-06-08 11:25:09 +05:00

default-method-fn-call-9123.rs

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04:00

default-method-lifetime-params-13204.rs

comments

2025-07-31 21:25:49 +05: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

dispatch-from-dyn-invalid-impls.rs

cleaned up some tests

2025-06-29 15:37:33 +05:00

dispatch-from-dyn-invalid-impls.stderr

cleaned up some tests

2025-06-29 15:37:33 +05: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

…

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-trait-size-error-23281.rs

Rehome tests/ui/issues/ tests [1/?]

2025-07-24 17:01:44 -04:00

dyn-trait-size-error-23281.stderr

Rehome tests/ui/issues/ tests [1/?]

2025-07-24 17:01:44 -04:00

dyn-trait.rs

Detect more cases of unused_parens around types

2025-07-01 08:56:20 +02: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

encoder-trait-bounds-regression.rs

cleaned up some tests

2025-06-29 15:37:33 +05:00

enum-negative-send-impl.rs

cleaned up some tests

2025-06-30 11:50:19 +05:00

enum-negative-send-impl.stderr

cleaned up some tests

2025-06-30 11:50:19 +05:00

enum-negative-sync-impl.rs

cleaned up some tests

2025-06-30 11:50:19 +05:00

enum-negative-sync-impl.stderr

cleaned up some tests

2025-06-30 11:50:19 +05:00

error-trait-object-from-string.rs

cleaned up some tests

2025-07-05 01:54:04 +05:00

eval-caching-error-region.rs

Do not freshen ReError

2025-06-28 20:48:58 +00:00

eval-caching-error-region.stderr

Do not freshen ReError

2025-06-28 20:48:58 +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

fn-type-trait-impl-15444.rs

comments

2025-08-09 16:27:20 +05:00

fnonce-repro-trait-impl-13434.rs

comments

2025-07-31 21:25:49 +05: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_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

generic.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +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

…

ignore-err-impls.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

impl_trait_as_trait_return_position.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

impl-1.rs

…

impl-1.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

impl-2.rs

Detect more cases of unused_parens around types

2025-07-01 08:56:20 +02:00

impl-bounds-checking.rs

…

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

…

impl-can-not-have-untraitful-items.stderr

…

impl-different-num-params.rs

…

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

…

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

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

impl-of-supertrait-has-wrong-lifetime-parameters.rs

…

impl-of-supertrait-has-wrong-lifetime-parameters.stderr

fix: Alloc new errorcode E0803 for E0495

2025-02-15 12:18:30 +08:00

impl-trait-chain-14229.rs

comments

2025-08-05 19:34:46 +05:00

impl.rs

Update tests for hidden references to mutable static

2024-09-13 14:10:56 +03:00

impl.stderr

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

index-trait-multiple-impls-15734.rs

comments

2025-08-09 16:27:20 +05: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

…

issue-3973.stderr

…

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

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

issue-6334.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-7013.rs

…

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

…

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

…

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

Deduplicate dyn compatibility violations due to coercion

2025-05-26 10:57:54 +00:00

issue-20692.stderr

Use more detailed spans in dyn compat errors within bodies

2025-05-27 08:18:11 +00: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

…

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

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

Deduplicate dyn compatibility violations due to coercion

2025-05-26 10:57:54 +00:00

issue-38604.stderr

Use more detailed spans in dyn compat errors within bodies

2025-05-27 08:18:11 +00: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

…

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

…

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

…

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

…

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

…

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

…

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

…

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

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

issue-78632.rs

[AUTO-GENERATED] Migrate ui tests from // to //@ directives

2024-02-16 20:02:50 +00:00

issue-79458.rs

…

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

…

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

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +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

…

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

Use tcx.short_string() in more diagnostics

2025-08-07 21:18:00 +00:00

issue-91949-hangs-on-recursion.stderr

Use tcx.short_string() in more diagnostics

2025-08-07 21:18:00 +00: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

…

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

Check variances in the non-hir wfchecker

2025-06-30 08:45:43 +00: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

Use non-2015 edition paths in tests that do not test for their resolution

2025-06-05 09:19:31 +02:00

item-privacy.stderr

Use more detailed spans in dyn compat errors within bodies

2025-05-27 08:18:11 +00: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

trait_sel: skip nominal_obligations for Sized

2025-06-16 23:04:36 +00:00

lifetime-incomplete-prefer-sized-builtin-over-wc.next.stderr

trait_sel: skip nominal_obligations for Sized

2025-06-16 23:04:36 +00:00

lifetime-incomplete-prefer-sized-builtin-over-wc.rs

trait_sel: skip nominal_obligations for Sized

2025-06-16 23:04:36 +00:00

lifetime-mismatch-trait-impl-16048.rs

comments

2025-08-09 16:27:20 +05:00

lifetime-mismatch-trait-impl-16048.stderr

comments

2025-08-09 16:27:20 +05: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

…

map-types.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

matching-lifetimes.rs

…

matching-lifetimes.stderr

Stop sorting via DefIds in region resolution

2024-03-21 16:36:17 +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

Replace ItemCtxt::report_placeholder_type_error match with a call to TyCtxt::def_descr

2025-06-30 20:36:16 +02: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

…

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

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

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

multidispatch-bad.rs

…

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

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

Point to correct argument in Func Call when Self type fails trait bound

2025-07-07 16:47:15 +08: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

bless tests with new lint messages

2025-08-19 21:27:10 +02:00

mut-trait-in-struct-8249.rs

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04: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

nested-mod-trait-method-lookup-leak-10465.rs

comments

2025-07-25 20:38:54 +05:00

nested-mod-trait-method-lookup-leak-10465.stderr

comments

2025-07-25 20:38:54 +05:00

no_send-struct.rs

…

no_send-struct.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

no-fallback-multiple-impls.rs

…

no-fallback-multiple-impls.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

…

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

Implement DesugaringKind::FormatLiteral

2025-06-22 10:58:25 +02: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

tests: add #![rustc_no_implicit_bounds]

2025-06-27 05:34:08 +00:00

overflow-computing-ambiguity.stderr

tests: add #![rustc_no_implicit_bounds]

2025-06-27 05:34:08 +00:00

overlap-not-permitted-for-builtin-trait.rs

…

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

…

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

partialeq-ref-mismatch-diagnostic.rs

cleaned up some tests

2025-07-05 03:46:08 +05:00

partialeq-ref-mismatch-diagnostic.stderr

cleaned up some tests

2025-07-05 03:46:08 +05: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

polymorphic-trait-creation-7673.rs

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04: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

rc-not-send.rs

cleaned up some tests

2025-06-30 11:50:19 +05:00

rc-not-send.stderr

cleaned up some tests

2025-06-30 11:50:19 +05: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

…

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

trait_sel: MetaSized always holds temporarily

2025-07-16 12:35:44 +00:00

resolve-impl-before-constrain-check.stderr

trait_sel: MetaSized always holds temporarily

2025-07-16 12:35:44 +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

…

safety-inherent-impl.stderr

Tweak trait modifier errors

2025-08-11 16:58:21 -05: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

…

safety-trait-impl.stderr

…

self-implements-kinds-in-default-methods-8171.rs

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04: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

Make missing lifetime suggestion verbose

2025-06-24 18:59:42 +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

…

static-method-generic-inference.stderr

Deduplicate more sized errors on call exprs

2024-01-24 02:53:15 +00:00

static-method-overwriting.rs

Use non-2015 edition paths in tests that do not test for their resolution

2025-06-05 09:19:31 +02: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

…

staticness-mismatch.stderr

Show number in error message even for one error

2023-11-24 19:15:52 +01:00

struct-negative-sync-impl.rs

cleaned up some tests

2025-06-30 11:50:19 +05:00

struct-negative-sync-impl.stderr

cleaned up some tests

2025-06-30 11:50:19 +05: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

Implement DesugaringKind::FormatLiteral

2025-06-22 10:58:25 +02:00

suggest-where-clause.rs

…

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

…

syntax-trait-polarity.stderr

Tweak trait modifier errors

2025-08-11 16:58:21 -05:00

test-2.rs

Deduplicate dyn compatibility violations due to coercion

2025-05-26 10:57:54 +00:00

test-2.stderr

Use more detailed spans in dyn compat errors within bodies

2025-05-27 08:18:11 +00:00

test.rs

…

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-associated-type-bounds-36839.rs

Rehome tests/ui/issues/ tests [1/?]

2025-07-24 17:01:44 -04:00

trait-bound-mismatch-14853.rs

comments

2025-08-05 19:34:46 +05:00

trait-bound-mismatch-14853.stderr

comments

2025-08-05 19:34:46 +05:00

trait-impl-missing-method.rs

cleaned up some tests

2025-06-04 19:32:06 +05:00

trait-impl-missing-method.stderr

cleaned up some tests

2025-06-04 19:32:06 +05:00

trait-impl-overflow-with-where-clause-20413.rs

Rehome tests/ui/issues/ tests [3/?]

2025-08-04 16:43:53 -04:00

trait-impl-overflow-with-where-clause-20413.stderr

Rehome tests/ui/issues/ tests [3/?]

2025-08-04 16:43:53 -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-implementation-and-usage-7563.rs

Rehome tests/ui/issues/ tests [5/?]

2025-08-17 13:01:02 -04:00

trait-implementation-for-primitive-type-5280.rs

Rehome tests/ui/issues/ tests [1/?]

2025-07-24 17:01:44 -04:00

trait-implementation-for-usize-5321.rs

Rehome tests/ui/issues/ tests [1/?]

2025-07-24 17:01:44 -04:00

trait-method-signature-mismatch.rs

cleaned up some tests

2025-07-13 00:03:31 +05:00

trait-method-signature-mismatch.stderr

cleaned up some tests

2025-07-13 00:03:31 +05:00

trait-object-destructure.rs

cleaned up some tests

2025-06-23 18:53:56 +05:00

trait-object-destructure.stderr

cleaned up some tests

2025-06-23 18:53:56 +05: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-object-method-receiver-rules.rs

cleaned up some tests

2025-07-05 01:25:48 +05:00

trait-object-method-receiver-rules.stderr

cleaned up some tests

2025-07-05 01:25:48 +05:00

trait-object-mut-to-shared-coercion.rs

cleaned up some tests

2025-07-05 01:25:48 +05:00

trait-or-new-type-instead.rs

…

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_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

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-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.bad.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_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.bad.stderr

Rigidly project missing item due to guaranteed impossible sized predicate

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

tryfrominterror-result-comparison.rs

cleaned up some tests

2025-07-13 00:03:31 +05: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

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

unconstrained-projection-normalization-2.next.stderr

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

unconstrained-projection-normalization-2.rs

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

unconstrained-projection-normalization.current.stderr

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

unconstrained-projection-normalization.next.stderr

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +00:00

unconstrained-projection-normalization.rs

Unconditionally run check_item_type on all items

2025-06-30 08:06:08 +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

…

unspecified-self-in-trait-ref.stderr

bless tests with new lint messages

2025-08-19 21:27:10 +02: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

virtual-call-parameter-handling.rs

cleaned up some tests

2025-07-10 18:50:35 +05:00

vtable-res-trait-param.rs

…

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

Account for bare tuples in field searching logic

2025-08-07 21:39:00 +00: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