bors e9e13a68d7 Auto merge of #129073 - compiler-errors:receiver-variance, r=lcnr ...

Relate receiver invariantly in method probe for `Mode::Path`

Effectively reverts part of #126128
Fixes #126227

This PR changes method probing to use equality for fully path-based method lookup, and subtyping for receiver `.` method lookup.

r? lcnr

2024-09-17 12:44:08 +00:00

..

auxiliary

…

issues

Note for E0599 if shadowed bindings has the method.

2024-05-20 18:53:17 +08:00

assign-to-method.rs

Continue to borrowck even if there were previous errors

2024-02-08 08:10:43 +00:00

assign-to-method.stderr

…

call_method_unknown_pointee.rs

Use the more informative generic type inference failure error on method calls on raw pointers

2024-03-20 15:53:06 +00:00

call_method_unknown_pointee.stderr

Use the more informative generic type inference failure error on method calls on raw pointers

2024-03-20 15:53:06 +00:00

disambiguate-associated-function-first-arg.rs

fix broken CI and code review

2023-12-27 15:47:57 +08:00

disambiguate-associated-function-first-arg.stderr

fix broken CI and code review

2023-12-27 15:47:57 +08:00

disambiguate-multiple-blanket-impl.rs

Unify suggestion wording

2023-10-17 17:33:55 +00:00

disambiguate-multiple-blanket-impl.stderr

Rework print_disambiguation_help

2023-11-07 05:23:09 +00:00

disambiguate-multiple-impl.rs

Unify suggestion wording

2023-10-17 17:33:55 +00:00

disambiguate-multiple-impl.stderr

Rework print_disambiguation_help

2023-11-07 05:23:09 +00:00

disambiguate-multiple-trait-2.rs

Unify suggestion wording

2023-10-17 17:33:55 +00:00

disambiguate-multiple-trait-2.stderr

Rework print_disambiguation_help

2023-11-07 05:23:09 +00:00

disambiguate-multiple-trait.rs

Unify suggestion wording

2023-10-17 17:33:55 +00:00

disambiguate-multiple-trait.stderr

Rework print_disambiguation_help

2023-11-07 05:23:09 +00:00

dont-ice-on-object-lookup-w-error-region.rs

Don't ICE when encountering error regions when confirming object method candidate

2024-07-26 13:18:35 -04:00

dont-ice-on-object-lookup-w-error-region.stderr

Don't ICE when encountering error regions when confirming object method candidate

2024-07-26 13:18:35 -04:00

field-method-suggestion-using-return-ty.rs

…

field-method-suggestion-using-return-ty.stderr

…

filter-relevant-fn-bounds.rs

Make sure trait def ids match before zipping args in note_function_argument_obligation

2024-07-15 17:53:22 -04:00

filter-relevant-fn-bounds.stderr

Make sure trait def ids match before zipping args in note_function_argument_obligation

2024-07-15 17:53:22 -04:00

fulfillment-disqualifies-method.rs

Use fulfillment, not evaluate, during method probe

2024-04-21 20:10:12 -04:00

inherent-bound-in-probe.rs

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

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

inherent-bound-in-probe.stderr

write-long-types-to-disk: update tests

2023-07-25 12:08:44 +01:00

issue-3707.rs

Move tests

2023-08-28 17:47:37 -03:00

issue-3707.stderr

Show number in error message even for one error

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

issue-7950.rs

Move tests

2024-03-03 16:30:48 -03:00

issue-7950.stderr

Move tests

2024-03-03 16:30:48 -03:00

issue-19521.rs

Move tests

2024-03-03 16:30:48 -03:00

issue-19521.stderr

Move tests

2024-03-03 16:30:48 -03:00

leak-check-disquality.rs

Use fulfillment, not evaluate, during method probe

2024-04-21 20:10:12 -04:00

method-ambig-one-trait-unknown-int-type.rs

…

method-ambig-one-trait-unknown-int-type.stderr

Use fn ptr signature instead of {closure@..} in infer error

2024-04-10 00:41:27 +00:00

method-ambig-two-traits-cross-crate.rs

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

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

method-ambig-two-traits-cross-crate.stderr

Sort method suggestions by DefPath instead of DefId

2024-03-27 14:02:16 +00:00

method-ambig-two-traits-from-bounds.rs

…

method-ambig-two-traits-from-bounds.stderr

Show number in error message even for one error

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

method-ambig-two-traits-from-impls2.rs

…

method-ambig-two-traits-from-impls2.stderr

Show number in error message even for one error

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

method-ambig-two-traits-from-impls.rs

…

method-ambig-two-traits-from-impls.stderr

Show number in error message even for one error

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

method-ambig-two-traits-with-default-method.rs

…

method-ambig-two-traits-with-default-method.stderr

Sort method suggestions by DefPath instead of DefId

2024-03-27 14:02:16 +00:00

method-ambiguity-no-rcvr.rs

Don't expect a rcvr in print_disambiguation_help

2023-11-12 19:59:13 +00:00

method-ambiguity-no-rcvr.stderr

fix broken CI and code review

2023-12-27 15:47:57 +08:00

method-argument-inference-associated-type.rs

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

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

method-call-err-msg.rs

…

method-call-err-msg.stderr

Use ordinal number in argument error

2024-07-14 13:50:09 +09:00

method-call-lifetime-args-fail.rs

…

method-call-lifetime-args-fail.stderr

Revert suggestion verbosity change

2024-07-22 22:51:53 +00:00

method-call-lifetime-args-lint-fail.rs

…

method-call-lifetime-args-lint-fail.stderr

…

method-call-lifetime-args-lint.rs

…

method-call-lifetime-args-lint.stderr

…

method-call-lifetime-args-subst-index.rs

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

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

method-call-lifetime-args-unresolved.rs

…

method-call-lifetime-args-unresolved.stderr

Show number in error message even for one error

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

method-call-lifetime-args.rs

…

method-call-lifetime-args.stderr

Error code E0794 for late-bound lifetime parameter error.

2023-03-07 21:26:19 +01:00

method-call-type-binding.rs

Rename HIR TypeBinding to AssocItemConstraint and related cleanup

2024-05-30 22:52:33 +02:00

method-call-type-binding.stderr

Rename HIR TypeBinding to AssocItemConstraint and related cleanup

2024-05-30 22:52:33 +02:00

method-deref-to-same-trait-object-with-separate-params.rs

…

method-deref-to-same-trait-object-with-separate-params.stderr

Sort method suggestions by DefPath instead of DefId

2024-03-27 14:02:16 +00:00

method-early-bound-lifetimes-on-self.rs

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

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

method-lookup-order.rs

Fix test problems discovered by the revision check

2024-05-09 14:47:09 +10:00

method-macro-backtrace.rs

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

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

method-macro-backtrace.stderr

Show number in error message even for one error

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

method-missing-call.rs

…

method-missing-call.stderr

adjust how closure/generator types and rvalues are printed

2023-09-21 22:20:58 +02:00

method-mut-self-modifies-mut-slice-lvalue.rs

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

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

method-normalize-bounds-issue-20604.rs

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

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

method-not-found-but-doc-alias.rs

…

method-not-found-but-doc-alias.stderr

Deduplicate some logic and reword output

2024-02-22 18:05:28 +00:00

method-not-found-generic-arg-elision.rs

Make method-not-found-generic-arg-elision.rs error message not path dependent

2023-04-26 21:48:21 +00:00

method-not-found-generic-arg-elision.stderr

Stop sorting DefIds in the compiler

2024-03-27 14:02:17 +00:00

method-on-ambiguous-numeric-type.rs

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

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

method-on-ambiguous-numeric-type.stderr

macro_rules: Preserve all metavariable spans in a global side table

2024-02-18 11:19:24 +03:00

method-path-in-pattern.rs

…

method-path-in-pattern.stderr

…

method-probe-no-guessing-dyn-trait.rs

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

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

method-projection.rs

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

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

method-recursive-blanket-impl.rs

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

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

method-recursive-blanket-impl.stderr

Update tests

2024-02-07 10:42:01 +08:00

method-resolvable-path-in-pattern.rs

…

method-resolvable-path-in-pattern.stderr

Show number in error message even for one error

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

method-self-arg-1.rs

…

method-self-arg-1.stderr

Tweak borrow suggestion

2023-05-08 03:36:30 +00:00

method-self-arg-2.rs

…

method-self-arg-2.stderr

Do not set up wrong span for adjustments

2023-07-10 20:09:26 +00:00

method-self-arg-aux1.rs

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

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

method-self-arg-aux2.rs

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

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

method-self-arg-trait.rs

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

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

method-self-arg.rs

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

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

method-trait-object-with-hrtb.rs

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

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

method-two-trait-defer-resolution-1.rs

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

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

method-two-trait-defer-resolution-2.rs

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

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

method-two-trait-defer-resolution-2.stderr

Update tests

2024-02-07 10:42:01 +08:00

method-two-traits-distinguished-via-where-clause.rs

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

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

method-two-traits-distinguished-via-where-clause.stderr

Update tests

2024-02-07 10:42:01 +08:00

method-where-clause.rs

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

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

missing-method-on-type-parameter.rs

Do not ICE on non-ADT rcvr type when looking for crate version collision

2024-08-26 13:02:21 -04:00

missing-method-on-type-parameter.stderr

Do not ICE on non-ADT rcvr type when looking for crate version collision

2024-08-26 13:02:21 -04:00

opaque_param_in_ufc.rs

Method resolution constrains hidden types instead of rejecting method candidates

2024-06-13 10:41:53 +00:00

probe-error-on-infinite-deref.rs

Use Autoderef::silence_errors more liberally throughout diagnostics code

2024-09-12 14:48:01 -04:00

probe-error-on-infinite-deref.stderr

Use Autoderef::silence_errors more liberally throughout diagnostics code

2024-09-12 14:48:01 -04:00

probe-for-diagnostic-doesnt-do-extra-work.rs

Add test to make sure suggestions are still quick

2024-05-13 23:38:31 -04:00

probe-for-diagnostic-doesnt-do-extra-work.stderr

Add test to make sure suggestions are still quick

2024-05-13 23:38:31 -04:00

probe-overflow-due-to-sized-predicate-ordering.rs

Make sure to insert Sized bound first into clauses list

2024-04-01 21:41:45 -04:00

receiver-equality.rs

Relate receiver invariantly in method probe for Mode::Path

2024-09-16 10:55:07 -04:00

receiver-equality.stderr

Relate receiver invariantly in method probe for Mode::Path

2024-09-16 10:55:07 -04:00

self-type-is-sup-no-eq.rs

Use sup instead of eq when unifying self type

2024-04-21 20:10:12 -04:00

suggest-convert-ptr-to-ref.rs

rework ptr-to-ref conversion suggestion for method calls

2024-04-10 18:51:09 +02:00

suggest-convert-ptr-to-ref.stderr

Report the note when specified in diagnostic::on_unimplemented

2024-09-10 23:05:36 +02:00

suggest-method-on-call-for-ambig-receiver.rs

Don't continue probing for method if in suggestion and autoderef hits ambiguity

2024-05-23 19:42:10 -04:00

suggest-method-on-call-for-ambig-receiver.stderr

Don't continue probing for method if in suggestion and autoderef hits ambiguity

2024-05-23 19:42:10 -04:00

suggest-method-on-call-with-macro-rcvr.rs

Adjust spans correctly for fn -> method suggestion

2023-07-27 16:50:28 +00:00

suggest-method-on-call-with-macro-rcvr.stderr

Show number in error message even for one error

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