rust/traits at fb80d2bfe4413b2e3228dc76a792744dbc1892be - rust

alias

Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr

2022-08-20 19:45:12 +02:00

associated_type_bound

Point to argument if it's self type of unsatisfied projection predicate

2022-08-14 20:22:10 +00:00

auxiliary

…

bound

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01: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

Refer to the TraitRef::identity in the message to be clearer

2022-04-04 21:06:35 +00:00

negative-impls

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

object

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

reservation-impl

Mention implementers of unsatisfied trait

2022-04-04 21:01:42 +00:00

suggest-deferences

Rollup merge of #100796 - TaKO8Ki:remove-unnecessary-string-searching, r=compiler-errors

2022-08-20 19:45:17 +02:00

trait-upcasting

Remove guess_head_span.

2022-07-28 23:14:04 +02: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

…

alignment-gep-tup-like-1.rs

…

anon_trait_static_method_exe.rs

…

anon-static-method.rs

…

as-struct-constructor.rs

…

as-struct-constructor.stderr

…

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

…

astconv-cycle-between-and-type.rs

…

augmented-assignments-trait.rs

Warn about dead tuple struct fields

2022-08-03 12:17:23 +02:00

bad-method-typaram-kind.rs

…

bad-method-typaram-kind.stderr

…

bad-sized.rs

…

bad-sized.stderr

…

bug-7183-generics.rs

…

bug-7295.rs

…

cache-issue-18209.rs

…

cache-reached-depth-ice.rs

…

cache-reached-depth-ice.stderr

…

coercion-generic-bad.rs

…

coercion-generic-bad.stderr

Note concrete type being coerced into object

2022-06-28 21:56:18 +00:00

coercion-generic-regions.rs

…

coercion-generic-regions.stderr

…

coercion-generic.rs

…

coercion.rs

…

composition-trivial.rs

…

conditional-dispatch.rs

…

conditional-model-fn.rs

…

conservative_impl_trait.rs

…

copy-guessing.rs

…

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

Shorten def_span for more items.

2022-07-01 17:39:19 +02:00

cycle-cache-err-60010.rs

…

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

…

cycle-type-trait.rs

…

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

add new emit_inference_failure_err

2022-06-02 10:19:15 +02:00

duplicate-methods.rs

…

duplicate-methods.stderr

…

dyn-trait.rs

…

early-vtbl-resolution.rs

…

elaborate-type-region.rs

…

false-ambiguity-where-clause-builtin-bound.rs

…

fmt-pointer-trait.rs

…

generic.rs

…

impl_trait_as_trait_return_position.rs

…

impl-1.rs

…

impl-1.stderr

…

impl-2.rs

…

impl-bounds-checking.rs

…

impl-bounds-checking.stderr

…

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

…

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

…

impl-different-num-params.rs

…

impl-different-num-params.stderr

…

impl-evaluation-order.rs

…

impl-for-module.rs

…

impl-for-module.stderr

…

impl-implicit-trait.rs

…

impl-inherent-prefer-over-trait.rs

…

impl-method-mismatch.rs

…

impl-method-mismatch.stderr

…

impl-object-overlap-issue-23853.rs

…

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

…

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

…

impl.rs

…

infer-from-object-issue-26952.rs

…

inherent-method-order.rs

…

issue-3683.rs

…

issue-3973.rs

…

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

…

issue-6334.rs

…

issue-8153.rs

Move some tests to more reasonable places

2022-05-28 18:38:34 -03:00

issue-8153.stderr

Bless ui tests.

2022-06-24 17:57:27 +02:00

issue-9394-inherited-calls.rs

…

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

…

issue-20692.stderr

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

issue-22019.rs

…

issue-22110.rs

…

issue-22655.rs

…

issue-23003-overflow.rs

…

issue-23003.rs

…

issue-23825.rs

…

issue-24010.rs

…

issue-26339.rs

…

issue-28576.rs

…

issue-28576.stderr

…

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

…

issue-33140-hack-boundaries.stderr

Shorten def_span for more items.

2022-07-01 17:39:19 +02:00

issue-33140.rs

…

issue-33140.stderr

…

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

…

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-52893.rs

…

issue-52893.stderr

Resolve vars in note_type_err

2022-05-06 23:35:42 -04:00

issue-56202.rs

…

issue-56488.rs

…

issue-59029-1.rs

…

issue-59029-1.stderr

2022-07-11 06:53:11 +00:00

issue-59029-2.rs

…

issue-65284-suggest-generic-trait-bound.rs

…

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

…

issue-68295.stderr

…

issue-70944.rs

…

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

…

issue-71136.stderr

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

issue-72410.rs

…

issue-72410.stderr

…

issue-72455.rs

…

issue-75627.rs

…

issue-75627.stderr

…

issue-77982.rs

…

issue-77982.stderr

Fix duplicated type annotation suggestion

2022-07-08 21:03:03 -05: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

…

issue-79458.rs

…

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

…

issue-83538-tainted-cache-after-cycle.stderr

…

issue-84399-bad-fresh-caching.rs

…

issue-85360-eval-obligation-ice.rs

…

issue-85360-eval-obligation-ice.stderr

…

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

…

issue-90195-2.rs

…

issue-90195.rs

…

issue-90662-projection-caching.rs

…

issue-91594.rs

…

issue-91594.stderr

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

issue-91949-hangs-on-recursion.rs

Bless recursion test.

2022-07-01 17:45:13 +02:00

issue-91949-hangs-on-recursion.stderr

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

issue-92292.rs

…

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

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01: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

…

item-privacy.rs

…

item-privacy.stderr

Track implicit Sized obligations in type params

2022-07-07 12:15:12 -07:00

kindck-owned-contains-1.rs

…

map-types.rs

…

map-types.stderr

Note concrete type being coerced into object

2022-06-28 21:56:18 +00:00

matching-lifetimes.rs

…

matching-lifetimes.stderr

…

method-private.rs

…

method-private.stderr

…

monad.rs

…

monomorphized-callees-with-ty-params-3314.rs

…

multidispatch1.rs

…

multidispatch2.rs

…

multidispatch-bad.rs

…

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

…

multidispatch-convert-ambig-dest.rs

…

multidispatch-convert-ambig-dest.stderr

Fix duplicated type annotation suggestion

2022-07-08 21:03:03 -05:00

multidispatch-infer-convert-target.rs

…

mutual-recursion-issue-75860.rs

…

mutual-recursion-issue-75860.stderr

…

no_send-struct.rs

…

no_send-struct.stderr

…

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

normalize-supertrait.rs

…

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

Reword "Required because of the requirements on the impl of ..."

2022-08-18 21:08:08 +01:00

object-does-not-impl-trait.rs

…

object-does-not-impl-trait.stderr

…

object-one-type-two-traits.rs

…

objects-owned-object-borrowed-method-headerless.rs

…

operator-overloading-issue-52025.rs

…

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

…

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

…

overlap-permitted-for-marker-traits.rs

…

param-without-lifetime-constraint.rs

…

param-without-lifetime-constraint.stderr

…

parameterized-with-bounds.rs

…

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

…

project-modulo-regions.rs

…

project-modulo-regions.with_clause.stderr

…

project-modulo-regions.without_clause.stderr

…

region-pointer-simple.rs

…

resolution-in-overloaded-op.rs

…

resolution-in-overloaded-op.stderr

Handle empty where-clause better

2022-06-11 16:27:01 -07:00

safety-fn-body.mir.stderr

…

safety-fn-body.rs

…

safety-fn-body.thir.stderr

…

safety-inherent-impl.rs

…

safety-inherent-impl.stderr

…

safety-ok-cc.rs

…

safety-ok.rs

…

safety-trait-impl-cc.rs

…

safety-trait-impl-cc.stderr

…

safety-trait-impl.rs

…

safety-trait-impl.stderr

…

self-without-lifetime-constraint.rs

…

self-without-lifetime-constraint.stderr

…

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

Add E0790 as more specific variant of E0283

2022-07-19 10:16:10 +02:00

static-method-overwriting.rs

…

static-outlives-a-where-clause.rs

…

staticness-mismatch.rs

…

staticness-mismatch.stderr

…

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

add new emit_inference_failure_err

2022-06-02 10:19:15 +02: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

add new emit_inference_failure_err

2022-06-02 10:19:15 +02:00

suggest-where-clause.rs

…

suggest-where-clause.stderr

Use typeck_results to avoid duplicate ast_ty_to_ty call

2022-07-16 22:54:46 +00:00

superdefault-generics.rs

…

syntax-polarity.rs

…

syntax-trait-polarity.rs

…

syntax-trait-polarity.stderr

…

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

…

test.stderr

…

to-str.rs

…

trait-or-new-type-instead.rs

…

trait-or-new-type-instead.stderr

…

typeclasses-eq-example-static.rs

…

typeclasses-eq-example.rs

…

ufcs-object.rs

…

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

Generalize trait object generic param check to aliases.

2022-08-10 18:32:08 +02:00

use-before-def.rs

…

vtable-res-trait-param.rs

…

vtable-res-trait-param.stderr

…

where-clause-vs-impl.rs

…

with-bounds-default.rs

…

with-dst.rs

…