mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
granite-rust/tests/ui/methods
History
Adrian Taylor e75660dad3 Arbitrary self types v2: use Receiver trait 
In this new version of Arbitrary Self Types, we no longer use the Deref trait
exclusively when working out which self types are valid. Instead, we follow a
chain of Receiver traits. This enables methods to be called on smart pointer
types which fundamentally cannot support Deref (for instance because they are
wrappers for pointers that don't follow Rust's aliasing rules).

This includes:
* Changes to tests appropriately
* New tests for:
  * The basics of the feature
  * Ensuring lifetime elision works properly
  * Generic Receivers
  * A copy of the method subst test enhanced with Receiver

This is really the heart of the 'arbitrary self types v2' feature, and
is the most critical commit in the current PR.

Subsequent commits are focused on:
* Detecting "shadowing" problems, where a smart pointer type can hide
  methods in the pointee.
* Diagnostics and cleanup.

Naming: in this commit, the "Autoderef" type is modified so that it no
longer solely focuses on the "Deref" trait, but can now consider the
"Receiver" trait instead. Should it be renamed, to something like
"TraitFollower"? This was considered, but rejected, because
* even in the Receiver case, it still considers built-in derefs
* the name Autoderef is short and snappy.
2024-12-11 11:59:12 +00:00
..
auxiliary Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Remove save-analysis. 2023-02-16 15:14:45 +11:00
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
call_method_unknown_referent.rs Arbitrary self types v2: use Receiver trait 2024-12-11 11:59:12 +00:00
call_method_unknown_referent.stderr Arbitrary self types v2: use Receiver trait 2024-12-11 11:59:12 +00:00
call_method_unknown_referent2.rs Arbitrary self types v2: use Receiver trait 2024-12-11 11:59:12 +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
dont-suggest-import-on-deref-err.rs Don't give method suggestions when method probe fails due to bad impl of Deref 2024-09-29 11:57:18 -04:00
dont-suggest-import-on-deref-err.stderr Don't give method suggestions when method probe fails due to bad impl of Deref 2024-09-29 11:57:18 -04:00
field-method-suggestion-using-return-ty.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
field-method-suggestion-using-return-ty.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Mention type parameter in more cases and don't suggest ~const bound already there 2024-12-07 21:37:13 +00: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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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-impls.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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-from-impls2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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-with-default-method.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 diagnostics: remove inconsistent English article "this" from E0107 2023-02-23 10:27:06 -07:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
method-call-lifetime-args-lint-fail.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
method-call-lifetime-args-lint.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
method-call-lifetime-args-lint.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08: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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
method-not-found-but-doc-alias.rs Consider doc(alias) when providing typo suggestions 2023-01-23 10:07:10 +09:00
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 Move /src/test to /tests 2023-01-11 09:32:08 +00:00
method-path-in-pattern.stderr Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
method-recursive-blanket-impl.stderr tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
method-resolvable-path-in-pattern.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Modify primary span label for E0308 2023-01-30 20:12:19 +00:00
method-self-arg-1.stderr Tweak borrow suggestion 2023-05-08 03:36:30 +00:00
method-self-arg-2.rs Move /src/test to /tests 2023-01-11 09:32:08 +00:00
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 Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03:00
method-self-arg.rs Update tests for hidden references to mutable static 2024-09-13 14:10:56 +03: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 tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +08:00
method-two-traits-distinguished-via-where-clause.stderr tests: remove //@ pretty-expanded usages 2024-11-26 02:50:48 +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