user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/src/test/ui/traits
History
Matthias Krüger 6d58ff7fe6
Rollup merge of #100387 - cjgillot:hygiene-trait-impl, r=petrochenkov 
Check uniqueness of impl items by trait item when applicable.

When checking uniqueness of item names in impl blocks, we currently use the same definition of hygiene as for toplevel items.  This means that a plain item and one generated by a macro 2.0 do not collide.

This hygiene rule does not match with how impl items resolve to associated trait items. As a consequence, we misdiagnose the trait impls.

This PR proposes to consider that trait impl items are uses of the corresponding trait items during resolution, instead of checking for duplicates later. An error is emitted when a trait impl item is used twice.

There should be no stable breakage, since macros 2.0 are still unstable.

r? ``@petrochenkov``
cc ``@RalfJung``

Fixes https://github.com/rust-lang/rust/issues/71614.
2022-10-11 18:59:45 +02:00
..
alias Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr 2022-08-20 19:45:12 +02:00
associated_type_bound address review 2022-09-26 14:21:39 +02:00
auxiliary add regression test for issue 89119 2021-09-30 22:55:05 +02:00
bound bless ui tests 2022-10-01 10:03:06 +00:00
default-method passes: migrate half of check_attr 2022-07-15 16:13:49 +01:00
inductive-overflow Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
inheritance Prefer non-Self non-method types over Self, first 2022-08-21 02:35:11 +00:00
negative-impls bless ui tests 2022-10-01 10:03:06 +00:00
object bless ui tests 2022-10-01 10:03:06 +00:00
reservation-impl Mention implementers of unsatisfied trait 2022-04-04 21:01:42 +00:00
suggest-deferences Account for relative paths 2022-08-21 02:34:52 +00:00
trait-upcasting bless ui tests 2022-10-01 10:03:06 +00:00
vtable we seem to monomorphize fewer vtables by default now, so adjust some tests 2022-07-20 17:12:06 -04:00
wf-object Consistently use 'supertrait'. 2021-10-02 08:05:44 +07:00
alignment-gep-tup-like-1.rs Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
anon-static-method.rs Organize trait test files 2021-02-09 14:19:35 +01:00
anon_trait_static_method_exe.rs
as-struct-constructor.rs Organize trait test files 2021-02-09 14:19:35 +01:00
as-struct-constructor.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
assignability-trait.rs
assoc-type-in-superbad.rs Adjust wording 2022-08-08 00:13:41 +00:00
assoc-type-in-superbad.stderr Adjust wording 2022-08-08 00:13:41 +00:00
assoc-type-in-supertrait.rs Organize trait test files 2021-02-09 14:19:35 +01:00
astconv-cycle-between-and-type.rs Organize trait test files 2021-02-09 14:19:35 +01:00
augmented-assignments-trait.rs Warn about dead tuple struct fields 2022-08-03 12:17:23 +02:00
bad-method-typaram-kind.rs Move some tests to more reasonable directories - 6 2021-04-17 18:53:54 -03:00
bad-method-typaram-kind.stderr Rework point-at-arg 2022-08-21 02:34:52 +00:00
bad-sized.rs Move some tests to more reasonable directories - 6 2021-04-17 18:53:54 -03:00
bad-sized.stderr Point at source of trait bound obligations in more places 2021-11-20 18:54:31 +00:00
bug-7183-generics.rs Move some tests to more reasonable directories 2021-09-15 14:03:27 -03:00
bug-7295.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
cache-issue-18209.rs Organize trait test files 2021-02-09 14:19:35 +01:00
cache-reached-depth-ice.rs Only assemble_candidates_from_impls for polarity Negative 2021-10-20 12:10:46 -03:00
cache-reached-depth-ice.stderr Only assemble_candidates_from_impls for polarity Negative 2021-10-20 12:10:46 -03:00
coercion-generic-bad.rs Organize trait test files 2021-02-09 14:19:35 +01:00
coercion-generic-bad.stderr Note concrete type being coerced into object 2022-06-28 21:56:18 +00:00
coercion-generic-regions.rs Organize trait test files 2021-02-09 14:19:35 +01:00
coercion-generic-regions.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
coercion-generic.rs Organize trait test files 2021-02-09 14:19:35 +01:00
coercion.rs Remove box syntax from most places in src/test outside of the issues dir 2021-09-26 04:07:44 +02:00
composition-trivial.rs Organize trait test files 2021-02-09 14:19:35 +01:00
conditional-dispatch.rs Remove box syntax from most places in src/test outside of the issues dir 2021-09-26 04:07:44 +02:00
conditional-model-fn.rs Organize trait test files 2021-02-09 14:19:35 +01:00
conservative_impl_trait.rs
copy-guessing.rs Organize trait test files 2021-02-09 14:19:35 +01:00
copy-impl-cannot-normalize.rs better ObligationCause for normalization errors in can_type_implement_copy 2022-02-24 08:30:38 -08:00
copy-impl-cannot-normalize.stderr Allow more !Copy impls 2022-09-23 21:51:40 +02:00
cycle-cache-err-60010.rs Report cycle error using 'deepest' obligation in the cycle 2021-09-02 11:49:32 -05:00
cycle-cache-err-60010.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
cycle-generic-bound.rs Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
cycle-type-trait.rs Organize trait test files 2021-02-09 14:19:35 +01:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs Use more targetted suggestion span for fully qualified path 2022-04-23 12:44:52 -07:00
do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
duplicate-methods.rs Organize trait test files 2021-02-09 14:19:35 +01:00
duplicate-methods.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
dyn-trait.rs
early-vtbl-resolution.rs Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
elaborate-type-region.rs Organize trait test files 2021-02-09 14:19:35 +01:00
false-ambiguity-where-clause-builtin-bound.rs Organize trait test files 2021-02-09 14:19:35 +01:00
fmt-pointer-trait.rs
generic.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-1.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-1.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
impl-2.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-bounds-checking.rs Move some tests to more suitable subdirs 2021-03-06 18:24:53 +09:00
impl-bounds-checking.stderr Use note to point at bound introducing requirement 2021-08-16 17:47:22 +00:00
impl-can-not-have-untraitful-items.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-can-not-have-untraitful-items.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
impl-different-num-params.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-different-num-params.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
impl-evaluation-order.rs Revert change to evaluation order 2020-12-17 20:16:10 +00:00
impl-for-module.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-for-module.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
impl-implicit-trait.rs
impl-inherent-prefer-over-trait.rs
impl-method-mismatch.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-method-mismatch.stderr Tweak assoc type obligation spans 2021-12-11 02:32:15 +00:00
impl-object-overlap-issue-23853.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-of-supertrait-has-wrong-lifetime-parameters.rs Organize trait test files 2021-02-09 14:19:35 +01:00
impl-of-supertrait-has-wrong-lifetime-parameters.stderr Remove textual span from diagnostic string 2021-10-13 10:53:44 +00:00
impl.rs Fix use of bare trait objects everywhere 2021-03-18 02:18:58 +03:00
impl_trait_as_trait_return_position.rs Add test for #59023 2020-04-03 18:31:04 +02:00
infer-from-object-issue-26952.rs Organize trait test files 2021-02-09 14:19:35 +01:00
inherent-method-order.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-3683.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-3973.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
issue-3973.stderr Track implicit Sized obligations in type params 2022-07-07 12:15:12 -07:00
issue-4107.rs Move some tests to more reasonable places 2022-05-01 08:47:38 -03:00
issue-6128.rs Remove box syntax from most places in src/test outside of the issues dir 2021-09-26 04:07:44 +02:00
issue-6334.rs Move some tests to more reasonable directories - 2 2021-01-16 19:46:54 -03:00
issue-8153.rs Move some tests to more reasonable places 2022-05-28 18:38:34 -03:00
issue-8153.stderr Report duplicate definitions in trait impls during resolution. 2022-10-11 06:24:51 +00:00
issue-9394-inherited-calls.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-18400.rs Move tests 2022-06-13 17:16:01 -03:00
issue-18400.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-18412.rs Move tests 2022-06-13 17:16:01 -03:00
issue-20692.rs Move some tests to more reasonable directories 2021-09-15 14:03:27 -03:00
issue-20692.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-22019.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-22110.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-22655.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-23003-overflow.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-23003.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-23825.rs Move some tests to more reasonable directories 2021-09-15 14:03:27 -03:00
issue-24010.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
issue-26339.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-28576.rs Move some tests to more suitable subdirs 2021-03-06 18:24:53 +09:00
issue-28576.stderr Move some tests to more suitable subdirs 2021-03-06 18:24:53 +09:00
issue-32963.rs Use typeck_results to avoid duplicate ast_ty_to_ty call 2022-07-16 22:54:46 +00:00
issue-32963.stderr Use typeck_results to avoid duplicate ast_ty_to_ty call 2022-07-16 22:54:46 +00:00
issue-33140-hack-boundaries.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-33140-hack-boundaries.stderr Shorten def_span for more items. 2022-07-01 17:39:19 +02:00
issue-33140.rs Move some tests to more suitable subdirs 2021-03-06 18:24:53 +09:00
issue-33140.stderr Remove trailing : from E0119 message 2021-04-06 18:16:11 -07:00
issue-35869.rs Move tests 2022-06-13 17:16:01 -03:00
issue-35869.stderr Move tests 2022-06-13 17:16:01 -03:00
issue-38033.rs Move some tests to more reasonable directories 2022-06-21 09:33:14 -03:00
issue-38604.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
issue-38604.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-43132.rs Move some tests to more reasonable directories 2022-04-21 12:24:26 -03:00
issue-43784-supertrait.rs Move some tests to more reasonable directories 2022-09-20 12:31:11 -03:00
issue-43784-supertrait.stderr Move some tests to more reasonable directories 2022-09-20 12:31:11 -03:00
issue-52893.rs add some more testcases 2021-10-12 08:56:05 +02:00
issue-52893.stderr Resolve vars in note_type_err 2022-05-06 23:35:42 -04:00
issue-56202.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-56488.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-59029-1.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
issue-59029-1.stderr Mention similarly named associated type even if it's not clearly in supertrait 2022-07-11 06:53:11 +00:00
issue-59029-2.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-65284-suggest-generic-trait-bound.rs Move some tests to more reasonable directories 2021-01-31 19:46:46 -03:00
issue-65284-suggest-generic-trait-bound.stderr point to type param definition when not finding variant, method and assoc type 2022-06-22 13:40:20 +09:00
issue-65673.rs Only keep predicates on Self when checking dyn TraitAlias. 2022-05-04 22:59:15 +02:00
issue-65673.stderr Shorten def_span for more items. 2022-07-01 17:39:19 +02:00
issue-68295.rs add some more testcases 2021-10-12 08:56:05 +02:00
issue-68295.stderr add some more testcases 2021-10-12 08:56:05 +02:00
issue-70944.rs Add test for issue-70944 2020-10-18 07:57:24 +09:00
issue-71036.rs Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-71036.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-71136.rs Organize trait test files 2021-02-09 14:19:35 +01:00
issue-71136.stderr Adjust messages, address some nits 2022-08-21 02:35:11 +00:00
issue-72410.rs Fix debug assertion in typeck 2020-07-18 12:20:51 +09:00
issue-72410.stderr Modify structured suggestion output 2021-08-11 09:46:24 +00:00
issue-72455.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
issue-75627.rs Remove error message in specific case 2020-08-30 19:39:51 +00:00
issue-75627.stderr Suggest adding a type parameter for impls 2021-05-05 18:59:37 +02:00
issue-77982.rs Point at overlapping impls when type annotations are needed 2021-10-24 18:33:04 +00:00
issue-77982.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
issue-78372.rs Perform coherence checking per impl. 2022-06-22 21:18:46 +02:00
issue-78372.stderr Shorten def_span for more items. 2022-07-01 17:39:19 +02:00
issue-78632.rs add regression test for issue #78632 2021-06-15 21:32:13 -07:00
issue-79458.rs Add regression test for #79458 2020-12-01 13:30:09 -06:00
issue-79458.stderr Dedup logic and improve output for other types that impl trait 2022-04-04 21:06:35 +00:00
issue-82830.rs Add regression test for #82830 2022-05-25 22:14:20 +09:00
issue-82830.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
issue-83538-tainted-cache-after-cycle.rs Only assemble_candidates_from_impls for polarity Negative 2021-10-20 12:10:46 -03:00
issue-83538-tainted-cache-after-cycle.stderr Only assemble_candidates_from_impls for polarity Negative 2021-10-20 12:10:46 -03:00
issue-84399-bad-fresh-caching.rs Add regression test 2021-05-01 17:55:19 -04:00
issue-85360-eval-obligation-ice.rs Add test case that evals to EvaluatedToOkModuloRegions 2021-12-03 20:25:21 -05:00
issue-85360-eval-obligation-ice.stderr Add test case that evals to EvaluatedToOkModuloRegions 2021-12-03 20:25:21 -05:00
issue-85735.rs Don't point at Self type if we can't find an infer variable in ambiguous trait predicate 2022-07-01 17:38:34 +00:00
issue-85735.stderr Revert "Highlight conflicting param-env candidates" 2022-07-15 17:21:55 +00:00
issue-87558.rs add regression test for #87558 2022-06-26 22:10:10 +09:00
issue-87558.stderr add regression test for #87558 2022-06-26 22:10:10 +09:00
issue-89119.rs add regression test for issue 89119 2021-09-30 22:55:05 +02:00
issue-90195-2.rs Add test cases 2021-10-28 14:25:46 +00:00
issue-90195.rs Add test cases 2021-10-28 14:25:46 +00:00
issue-90662-projection-caching.rs Remove 'speculative evaluation' of predicates 2021-12-17 17:00:03 -05:00
issue-91594.rs Add test for old ICE in #91594 2022-01-28 18:42:23 -05:00
issue-91594.stderr Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakis 2022-08-22 06:10:26 +00:00
issue-91949-hangs-on-recursion.rs Bless recursion test. 2022-07-01 17:45:13 +02:00
issue-91949-hangs-on-recursion.stderr bless ui tests 2022-10-01 10:03:06 +00:00
issue-92292.rs Add UI test for #92292 2021-12-29 16:06:26 -08:00
issue-95311.rs when checking pointee metadata, canonicalize the Sized query 2022-03-25 12:37:58 -07:00
issue-95898.rs fix: wrong trait import suggestion for T: 2022-04-13 11:02:01 -03:00
issue-95898.stderr point to type param definition when not finding variant, method and assoc type 2022-06-22 13:40:20 +09:00
issue-96664.rs Only keep predicates on Self when checking dyn TraitAlias. 2022-05-04 22:59:15 +02:00
issue-96665.rs Exit before fetching bounds on associated items. 2022-05-04 22:59:16 +02:00
issue-97576.rs fix wrong suggestion for adding where clauses 2022-06-02 20:50:01 +09:00
issue-97576.stderr Rework point-at-arg 2022-08-21 02:34:52 +00:00
issue-97695-double-trivial-bound.rs Do not ICE when failing to normalize during inlining. 2022-06-03 19:03:18 +02:00
item-inside-macro.rs Organize trait test files 2021-02-09 14:19:35 +01:00
item-privacy.rs Fix use of bare trait objects everywhere 2021-03-18 02:18:58 +03:00
item-privacy.stderr Track implicit Sized obligations in type params 2022-07-07 12:15:12 -07:00
kindck-owned-contains-1.rs Remove box syntax from most places in src/test outside of the issues dir 2021-09-26 04:07:44 +02:00
map-types.rs Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
map-types.stderr Note concrete type being coerced into object 2022-06-28 21:56:18 +00:00
matching-lifetimes.rs Organize trait test files 2021-02-09 14:19:35 +01:00
matching-lifetimes.stderr Remove textual span from diagnostic string 2021-10-13 10:53:44 +00:00
method-private.rs Organize trait test files 2021-02-09 14:19:35 +01:00
method-private.stderr Various diagnostics clean ups/tweaks 2021-07-19 08:43:35 -07:00
monad.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
monomorphized-callees-with-ty-params-3314.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
multidispatch-bad.rs Organize trait test files 2021-02-09 14:19:35 +01:00
multidispatch-bad.stderr Point out a single arg if we have a single arg incompatibility 2022-08-12 15:18:39 +00:00
multidispatch-conditional-impl-not-considered.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
multidispatch-convert-ambig-dest.rs Point at overlapping impls when type annotations are needed 2021-10-24 18:33:04 +00:00
multidispatch-convert-ambig-dest.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
multidispatch-infer-convert-target.rs Organize trait test files 2021-02-09 14:19:35 +01:00
multidispatch1.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
multidispatch2.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
mutual-recursion-issue-75860.rs Add regr. test for mutual recursion 2020-12-29 05:22:25 +00:00
mutual-recursion-issue-75860.stderr Improve help for recursion limit errors 2021-09-28 22:17:13 +02:00
no-fallback-multiple-impls.rs don't report int/float ambiguity when we have previous errors 2022-04-06 21:27:46 -07:00
no-fallback-multiple-impls.stderr don't report int/float ambiguity when we have previous errors 2022-04-06 21:27:46 -07:00
no_send-struct.rs Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
no_send-struct.stderr Move some tests to more reasonable directories 2021-11-18 12:09:34 -03:00
normalize-supertrait.rs Consistently use 'supertrait'. 2021-10-02 08:05:44 +07:00
not-suggest-non-existing-fully-qualified-path.rs stop suggesting non-existing fully qualified paths 2022-05-11 19:18:02 +09:00
not-suggest-non-existing-fully-qualified-path.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
object-does-not-impl-trait.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
object-does-not-impl-trait.stderr Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
object-one-type-two-traits.rs Remove box syntax from most places in src/test outside of the issues dir 2021-09-26 04:07:44 +02:00
objects-owned-object-borrowed-method-headerless.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
operator-overloading-issue-52025.rs add regression test for issue #52025 2021-06-22 02:03:52 -07:00
overlap-not-permitted-for-builtin-trait.rs introduce negative_impls feature gate and document 2020-03-26 06:52:55 -04:00
overlap-not-permitted-for-builtin-trait.stderr Remove trailing : from E0119 message 2021-04-06 18:16:11 -07:00
overlap-permitted-for-marker-traits.rs introduce negative_impls feature gate and document 2020-03-26 06:52:55 -04:00
param-without-lifetime-constraint.rs Organize trait test files 2021-02-09 14:19:35 +01:00
param-without-lifetime-constraint.stderr nice_region_error: Include lifetime placeholders in error output 2021-10-22 15:26:20 -07:00
parameterized-with-bounds.rs Organize trait test files 2021-02-09 14:19:35 +01:00
pointee-deduction.rs Warn about dead tuple struct fields 2022-08-03 12:17:23 +02:00
pointee-tail-is-generic-errors.rs Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk" 2022-03-28 16:27:14 +00:00
pointee-tail-is-generic-errors.stderr Also do it for generics 2022-08-14 20:22:10 +00:00
pointee-tail-is-generic.rs opaque types may also be sized 2022-03-03 21:55:47 -08:00
principal-less-objects.rs Warn about dead tuple struct fields 2022-08-03 12:17:23 +02:00
privacy.rs Organize trait test files 2021-02-09 14:19:35 +01:00
project-modulo-regions.rs Fix incorrect usage of EvaluatedToOk when evaluating TypeOutlives 2021-11-28 15:03:58 -05:00
project-modulo-regions.with_clause.stderr Fix incorrect usage of EvaluatedToOk when evaluating TypeOutlives 2021-11-28 15:03:58 -05:00
project-modulo-regions.without_clause.stderr Fix incorrect usage of EvaluatedToOk when evaluating TypeOutlives 2021-11-28 15:03:58 -05:00
region-pointer-simple.rs Organize trait test files 2021-02-09 14:19:35 +01:00
resolution-in-overloaded-op.rs Organize trait test files 2021-02-09 14:19:35 +01:00
resolution-in-overloaded-op.stderr Adjust spacing in suggestion, add a test 2022-09-08 02:06:48 +00:00
safety-fn-body.mir.stderr Check for raw pointer dereference in THIR unsafeck 2021-05-20 00:01:05 +02:00
safety-fn-body.rs Check for raw pointer dereference in THIR unsafeck 2021-05-20 00:01:05 +02:00
safety-fn-body.thir.stderr Replace more "NULL" with "null" 2021-05-24 12:59:33 +02:00
safety-inherent-impl.rs Organize trait test files 2021-02-09 14:19:35 +01:00
safety-inherent-impl.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
safety-ok-cc.rs Organize trait test files 2021-02-09 14:19:35 +01:00
safety-ok.rs Organize trait test files 2021-02-09 14:19:35 +01:00
safety-trait-impl-cc.rs Organize trait test files 2021-02-09 14:19:35 +01:00
safety-trait-impl-cc.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
safety-trait-impl.rs Organize trait test files 2021-02-09 14:19:35 +01:00
safety-trait-impl.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
self-without-lifetime-constraint.rs Account for Self as a type param 2020-05-28 10:36:21 -07:00
self-without-lifetime-constraint.stderr nice_region_error: Include lifetime placeholders in error output 2021-10-22 15:26:20 -07:00
static-method-generic-inference.rs Add E0790 as more specific variant of E0283 2022-07-19 10:16:10 +02:00
static-method-generic-inference.stderr follow-up fix about 101866 to print the self type. 2022-10-04 10:30:25 -07:00
static-method-overwriting.rs Organize trait test files 2021-02-09 14:19:35 +01:00
static-outlives-a-where-clause.rs Organize trait test files 2021-02-09 14:19:35 +01:00
staticness-mismatch.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
staticness-mismatch.stderr Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
suggest-fully-qualified-path-with-adjustment.rs add new emit_inference_failure_err 2022-06-02 10:19:15 +02:00
suggest-fully-qualified-path-with-adjustment.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
suggest-fully-qualified-path-without-adjustment.rs add new emit_inference_failure_err 2022-06-02 10:19:15 +02:00
suggest-fully-qualified-path-without-adjustment.stderr Rework ambiguity errors 2022-08-21 02:35:11 +00:00
suggest-where-clause.rs Organize trait test files 2021-02-09 14:19:35 +01:00
suggest-where-clause.stderr Rework point-at-arg 2022-08-21 02:34:52 +00:00
superdefault-generics.rs Organize trait test files 2021-02-09 14:19:35 +01:00
syntax-polarity.rs Organize trait test files 2021-02-09 14:19:35 +01:00
syntax-trait-polarity.rs Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
syntax-trait-polarity.stderr Move some tests to more reasonable directories 2021-11-06 15:35:20 -03:00
test-2.rs don't report int/float ambiguity when we have previous errors 2022-04-06 21:27:46 -07:00
test-2.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
test.rs Organize trait test files 2021-02-09 14:19:35 +01:00
test.stderr Organize trait test files 2021-02-09 14:19:35 +01:00
to-str.rs Organize trait test files 2021-02-09 14:19:35 +01:00
trait-or-new-type-instead.rs
trait-or-new-type-instead.stderr
typeclasses-eq-example-static.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
typeclasses-eq-example.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
ufcs-object.rs Organize trait test files 2021-02-09 14:19:35 +01:00
unspecified-self-in-trait-ref.rs Generalize trait object generic param check to aliases. 2022-08-10 18:32:08 +02:00
unspecified-self-in-trait-ref.stderr bless ui tests 2022-10-01 10:03:06 +00:00
use-before-def.rs Organize trait test files 2021-02-09 14:19:35 +01:00
vtable-res-trait-param.rs Move some tests to more reasonable directories 2021-11-14 14:38:42 -03:00
vtable-res-trait-param.stderr Point at source of trait bound obligations in more places 2021-11-20 18:54:31 +00:00
where-clause-vs-impl.rs Organize trait test files 2021-02-09 14:19:35 +01:00
with-bounds-default.rs Organize trait test files 2021-02-09 14:19:35 +01:00
with-dst.rs Organize trait test files 2021-02-09 14:19:35 +01:00