rust/tests/ui/traits
Jacob Pratt 3deb5c289e
Rollup merge of #134744 - compiler-errors:transmute-non-wf, r=lcnr
Don't ice on bad transmute in typeck in new solver

Old trait solver ends up getting its infcx tainted because we try to normalize the type, but the new trait solver doesn't. This means we try to compute the stalled transmute obligations, which tries to normalize a type an ICEs. Let's make this a delayed bug.

r? lcnr
2025-01-06 22:04:15 -05:00
..
alias reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
associated_type_bound Revert suggestion verbosity change 2024-07-22 22:51:53 +00: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 reword trait bound suggestion message to include the bounds 2024-12-07 21:26:20 +00:00
const-traits Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr 2025-01-06 22:04:13 -05:00
default-method Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiser 2024-12-03 04:39:48 +00:00
error-reporting Consider param-env candidates even if they have errors 2024-10-24 01:48:44 +00:00
fn-pointer On long E0277 primary span label, move it to a help 2024-11-02 03:08:04 +00:00
inductive-overflow Mention type parameter in more cases and don't suggest ~const bound already there 2024-12-07 21:37:13 +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 do not constrain infer vars in find_best_leaf_obligation 2024-11-26 11:45:01 +01:00
negative-impls Begin to implement type system layer of unsafe binders 2024-12-22 21:57:57 +00:00
next-solver Don't ice on bad transmute in typeck in new solver 2025-01-06 17:56:16 +00:00
non_lifetime_binders chore: fix typos 2024-12-24 23:37:30 +08:00
object Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
reservation-impl [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
solver-cycles Rollup merge of #133488 - Enselic:recurse-2, r=BoxyUwU 2024-11-30 12:56:51 +08:00
suggest-dereferences E0277: suggest dereferencing function arguments in more cases 2024-11-21 03:27:05 -08:00
trait-upcasting Remove the -test suffix from normalize directives 2024-12-27 19:58:16 +11:00
vtable Never emit vptr for empty/auto traits 2024-10-18 12:34:56 +08:00
wf-object UI tests: Rename "object safe" to "dyn compatible" 2024-10-10 01:13:29 +02:00
winnowing add tests 2024-12-18 16:35:06 +01: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
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 Dont create object type when more than one principal is present 2024-11-23 18:54:08 +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
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 Show number in error message even for one error 2023-11-24 19:15:52 +01: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
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00: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
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 number in error message even for one error 2023-11-24 19:15:52 +01: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
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.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 Show number in error message even for one error 2023-11-24 19:15:52 +01: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-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 tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08: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 Update tests 2024-02-07 10:42:01 +08:00
impl-method-mismatch.rs
impl-method-mismatch.stderr show fnsig's output when there is difference 2024-07-06 23:29:58 +08: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
impl-of-supertrait-has-wrong-lifetime-parameters.stderr Stop sorting via DefIds in region resolution 2024-03-21 16:36:17 +00: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
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 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
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
issue-20692.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02: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 Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
issue-28576.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02: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
issue-33140-hack-boundaries.stderr Do not point at #[allow(_)] as the reason for compat lint triggering 2024-02-13 20:27:43 +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 Use verbose suggestion for changing arg type 2024-07-05 20:58:33 +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 Avoid silencing relevant follow-up errors 2024-01-09 21:08:16 +00:00
issue-38404.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
issue-38604.rs
issue-38604.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02: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 Merge check_mod_impl_wf and check_mod_type_wf 2024-03-07 06:27:09 +00:00
issue-52893.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
issue-52893.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01: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 Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +00:00
issue-72410.rs
issue-72410.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02: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 Bump stdarch 2024-12-24 19:00:57 +01:00
issue-77982.stderr Bump stdarch 2024-12-24 19:00:57 +01:00
issue-78372.rs Stop being so bail-y in candidate assembly 2024-11-21 01:35:34 +00:00
issue-78372.stderr Arbitrary self types v2: adjust diagnostic. 2024-12-13 15:40:37 +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 Show number in error message even for one error 2023-11-24 19:15:52 +01: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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00: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 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
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
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 Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
issue-106072.stderr Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02: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
item-privacy.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
kindck-owned-contains-1.rs [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +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
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
maybe-polarity-pass.rs Support ?Trait bounds in supertraits and dyn Trait under a feature gate 2024-07-25 20:53:33 +03:00
maybe-polarity-pass.stderr Support ?Trait bounds in supertraits and dyn Trait under a feature gate 2024-07-25 20:53:33 +03:00
maybe-polarity-repeated.rs Forbid ?Trait bounds repetitions 2024-07-26 16:35:05 +03:00
maybe-polarity-repeated.stderr Forbid ?Trait bounds repetitions 2024-07-26 16:35:05 +03: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 Taint _ placeholder types 2024-01-12 16:33:29 +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
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 Account for impl Trait { when impl Trait for Type { was intended 2024-10-04 22:59:03 +00:00
missing-for-type-in-impl.e2021.stderr Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02:00
missing-for-type-in-impl.rs Don't assume traits used as type are trait objs 2024-10-11 17:36:04 +02: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
multidispatch-bad.stderr Show number in error message even for one error 2023-11-24 19:15:52 +01: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 Check closure args and returns are WF 2024-04-25 10:03:17 -04: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
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
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 number in error message even for one error 2023-11-24 19:15:52 +01: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 Remove the -test suffix from normalize directives 2024-12-27 19:58:16 +11:00
on_unimplemented_long_types.stderr Avoid silently writing to a file when the involved ty is long 2024-03-01 19:02:34 +00: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
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
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 [AUTO-GENERATED] Migrate ui tests from // to //@ directives 2024-02-16 20:02:50 +00:00
pointee-tail-is-generic-errors.stderr
pointee-tail-is-generic.rs Mark some next-solver-behavior tests explicitly with revisions 2024-03-10 23:23:46 -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 Reduce verbosity of error 2023-12-05 22:24:33 +00:00
question-mark-result-err-mismatch.stderr Remove detail from label/note that is already available in other note 2024-10-29 16:26:57 +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
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
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
safety-trait-impl.stderr
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
sized-coniductive.rs Regression test for #129541 2024-09-11 00:17:38 -05: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
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
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 Replace closures with _ when suggesting fully qualified path for method call 2024-03-21 00:07:44 +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 Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +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 Reorder fullfillment errors to keep more interesting ones first 2023-10-04 02:04:14 +00: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
test-2.rs
test-2.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02: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
track-obligations.stderr Use fulfillment, not evaluate, during method probe 2024-04-21 20:10:12 -04:00
trait-object-lifetime-default-note.rs replace "cast" with "coercion" where applicable 2024-09-24 22:20:46 +02:00
trait-object-lifetime-default-note.stderr replace "cast" with "coercion" where applicable 2024-09-24 22:20:46 +02: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_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 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_sized.stderr Add some tests around where bounds on associated items and their lack of effect on impls 2023-06-26 09:56:28 +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
unspecified-self-in-trait-ref.rs
unspecified-self-in-trait-ref.stderr Compiler: Rename "object safe" to "dyn compatible" 2024-09-25 13:26:48 +02:00
upcast_reorder.rs Never emit vptr for empty/auto traits 2024-10-18 12:34:56 +08:00
upcast_soundness_bug.rs improve errors for invalid pointer casts 2024-09-24 23:12:02 +02:00
upcast_soundness_bug.stderr improve errors for invalid pointer casts 2024-09-24 23:12:02 +02:00
use-before-def.rs tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08: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 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 Use verbose suggestion for changing arg type 2024-07-05 20:58:33 +00:00