Yuki Okushi c145d93395

Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8Ki ...

Don't compute trait super bounds unless they're positive

Fixes #111207

The comment is modified to explain the rationale for why we even have this recursive call to supertraits in the first place, which doesn't apply to negative bounds since they don't elaborate at all.

2023-05-08 19:41:49 +09:00

..

alias

Allow the elaborator to only filter to real supertraits

2023-04-11 17:45:42 +00:00

associated_type_bound

Use smart-resolve when checking for trait in RHS of UFCS

2023-04-07 05:33:52 +00:00

auxiliary

…

bound

…

default-method

…

inductive-overflow

Tweak output for 'add line' suggestion

2023-04-12 22:50:10 +00:00

inheritance

…

negative-bounds

Don't compute trait super bounds unless they're positive

2023-05-04 17:24:13 +00:00

negative-impls

rustc_middle: Fix opt_item_ident for non-local def ids

2023-05-03 20:09:10 +03:00

new-solver

Clear response values for overflow in new solver

2023-04-26 21:54:30 +00:00

non_lifetime_binders

Add test for #110557

2023-05-04 18:06:07 +00:00

object

diagnostics: remove inconsistent English article "this" from E0107

2023-02-23 10:27:06 -07:00

reservation-impl

new solver cleanup + coherence

2023-03-21 16:27:25 +01:00

solver-cycles

…

suggest-deferences

Refine error span for trait error into borrowed expression

2023-02-19 21:27:04 -08:00

trait-upcasting

Allow the elaborator to only filter to real supertraits

2023-04-11 17:45:42 +00:00

vtable

…

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

…

assoc-type-in-superbad.stderr

…

assoc-type-in-supertrait.rs

…

astconv-cycle-between-and-type.rs

…

augmented-assignments-trait.rs

…

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

…

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

…

copy-impl-cannot-normalize.stderr

…

copy-is-not-modulo-regions.not_static.stderr

may not => cannot

2023-03-08 00:00:18 +00:00

copy-is-not-modulo-regions.rs

may not => cannot

2023-03-08 00:00:18 +00:00

copy-requires-self-wf.rs

…

cycle-cache-err-60010.rs

…

cycle-cache-err-60010.stderr

evaluate: improve and fix recursion depth handling

2023-03-21 09:57:22 +01:00

cycle-generic-bound.rs

…

cycle-type-trait.rs

…

do-not-mention-type-params-by-name-in-suggestion-issue-96292.rs

…

do-not-mention-type-params-by-name-in-suggestion-issue-96292.stderr

…

duplicate-methods.rs

…

duplicate-methods.stderr

…

dyn-trait.rs

remove invalid ignore-pretty

2023-04-03 09:24:11 +02:00

early-vtbl-resolution.rs

…

elaborate-type-region.rs

…

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

…

fmt-pointer-trait.rs

…

fn-trait-cast-diagnostic.rs

…

fn-trait-cast-diagnostic.stderr

…

generic.rs

…

ignore-err-impls.rs

…

ignore-err-impls.stderr

…

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

vars are ?

2023-04-25 19:53:09 +00:00

inherent-method-order.rs

…

invalid_operator_trait.rs

…

invalid_operator_trait.stderr

…

issue-3683.rs

…

issue-3973.rs

…

issue-3973.stderr

…

issue-4107.rs

…

issue-6128.rs

…

issue-6334.rs

…

issue-7013.rs

…

issue-7013.stderr

rustc_middle: Fix opt_item_ident for non-local def ids

2023-05-03 20:09:10 +03:00

issue-8153.rs

…

issue-8153.stderr

…

issue-9394-inherited-calls.rs

…

issue-18400.rs

…

issue-18400.stderr

…

issue-18412.rs

…

issue-20692.rs

…

issue-20692.stderr

…

issue-22019.rs

…

issue-22110.rs

…

issue-22384.rs

Move test files

2023-04-20 15:06:17 -03:00

issue-22384.stderr

Move test files

2023-04-20 15:06:17 -03:00

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

…

issue-32963.stderr

…

issue-33140-hack-boundaries.rs

…

issue-33140-hack-boundaries.stderr

…

issue-33140.rs

…

issue-33140.stderr

…

issue-35869.rs

…

issue-35869.stderr

…

issue-38033.rs

…

issue-38404.rs

Don't use implied trait predicates in gather_explicit_predicates_of

2023-05-01 15:45:28 +00:00

issue-38404.stderr

Don't use implied trait predicates in gather_explicit_predicates_of

2023-05-01 15:45:28 +00:00

issue-38604.rs

…

issue-38604.stderr

…

issue-43132.rs

…

issue-43784-supertrait.rs

…

issue-43784-supertrait.stderr

…

issue-50480.rs

may not => cannot

2023-03-08 00:00:18 +00:00

issue-50480.stderr

may not => cannot

2023-03-08 00:00:18 +00:00

issue-52893.rs

…

issue-52893.stderr

diagnostics: update test cases to refer to assoc fn with self as method

2023-02-22 08:40:47 -07:00

issue-56202.rs

…

issue-56488.rs

…

issue-59029-1.rs

…

issue-59029-1.stderr

…

issue-59029-2.rs

…

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

…

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

…

issue-65673.rs

…

issue-65673.stderr

…

issue-68295.rs

…

issue-68295.stderr

…

issue-70944.rs

…

issue-71036.rs

…

issue-71036.stderr

…

issue-71136.rs

…

issue-71136.stderr

Tweak output for 'add line' suggestion

2023-04-12 22:50:10 +00:00

issue-72410.rs

…

issue-72410.stderr

…

issue-72455.rs

…

issue-75627.rs

…

issue-75627.stderr

…

issue-77982.rs

…

issue-77982.stderr

Adapt issue-77982.stderr to new rustc error

2023-02-26 13:50:10 +01:00

issue-78372.rs

…

issue-78372.stderr

Special-case item attributes in the suggestion output

2023-04-12 22:50:10 +00:00

issue-78632.rs

…

issue-79458.rs

…

issue-79458.stderr

…

issue-82830.rs

…

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

…

issue-85735.stderr

…

issue-87558.rs

…

issue-87558.stderr

feat: implement better error for manual impl of Fn* traits

2023-03-10 20:32:24 +13:00

issue-89119.rs

…

issue-90195-2.rs

…

issue-90195.rs

…

issue-90662-projection-caching.rs

…

issue-91594.rs

…

issue-91594.stderr

…

issue-91949-hangs-on-recursion.rs

evaluate: improve and fix recursion depth handling

2023-03-21 09:57:22 +01:00

issue-91949-hangs-on-recursion.stderr

evaluate: improve and fix recursion depth handling

2023-03-21 09:57:22 +01:00

issue-92292.rs

…

issue-95311.rs

…

issue-95898.rs

…

issue-95898.stderr

…

issue-96664.rs

…

issue-96665.rs

…

issue-97576.rs

…

issue-97576.stderr

…

issue-97695-double-trivial-bound.rs

…

issue-99875.rs

…

issue-99875.stderr

…

issue-102989.rs

…

issue-102989.stderr

…

issue-103563.rs

…

issue-104322.rs

…

issue-106072.rs

…

issue-106072.stderr

…

item-inside-macro.rs

…

item-privacy.rs

diagnostics: update test cases to refer to assoc fn with self as method

2023-02-22 08:40:47 -07:00

item-privacy.stderr

Special-case item attributes in the suggestion output

2023-04-12 22:50:10 +00:00

kindck-owned-contains-1.rs

…

map-types.rs

…

map-types.stderr

…

matching-lifetimes.rs

…

matching-lifetimes.stderr

…

method-private.rs

…

method-private.stderr

Special-case item attributes in the suggestion output

2023-04-12 22:50:10 +00:00

monad.rs

…

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

…

multidispatch1.rs

…

multidispatch2.rs

…

multidispatch-bad.rs

…

multidispatch-bad.stderr

…

multidispatch-conditional-impl-not-considered.rs

…

multidispatch-convert-ambig-dest.rs

…

multidispatch-convert-ambig-dest.stderr

Specify what 'this' actually is

2023-02-21 05:21:07 +00: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

…

no-fallback-multiple-impls.stderr

…

normalize-supertrait.rs

…

not-suggest-non-existing-fully-qualified-path.rs

…

not-suggest-non-existing-fully-qualified-path.stderr

…

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

…

pointee-tail-is-generic-errors.rs

…

pointee-tail-is-generic-errors.stderr

…

pointee-tail-is-generic.rs

…

principal-less-objects.rs

…

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

…

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

…

static-method-generic-inference.stderr

…

static-method-overwriting.rs

…

static-outlives-a-where-clause.rs

…

staticness-mismatch.rs

…

staticness-mismatch.stderr

…

suggest-fully-qualified-closure.rs

…

suggest-fully-qualified-closure.stderr

…

suggest-fully-qualified-path-with-adjustment.rs

…

suggest-fully-qualified-path-with-adjustment.stderr

…

suggest-fully-qualified-path-without-adjustment.rs

…

suggest-fully-qualified-path-without-adjustment.stderr

…

suggest-where-clause.rs

…

suggest-where-clause.stderr

…

superdefault-generics.rs

…

syntax-polarity.rs

…

syntax-trait-polarity.rs

…

syntax-trait-polarity.stderr

…

test-2.rs

diagnostics: remove inconsistent English article "this" from E0107

2023-02-23 10:27:06 -07:00

test-2.stderr

diagnostics: remove inconsistent English article "this" from E0107

2023-02-23 10:27:06 -07:00

test.rs

…

test.stderr

…

to-str.rs

…

track-obligations.rs

…

track-obligations.stderr

…

trait-or-new-type-instead.rs

…

trait-or-new-type-instead.stderr

…

typeclasses-eq-example-static.rs

…

typeclasses-eq-example.rs

…

ufcs-object.rs

…

unsend-future.rs

fix: evaluate with wrong obligation stack

2023-03-08 20:12:46 +08:00

unsend-future.stderr

Tweak await span

2023-04-27 17:18:11 +00:00

unspecified-self-in-trait-ref.rs

…

unspecified-self-in-trait-ref.stderr

…

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

…

wrong-mul-method-signature.rs

Move some UI tests into subdirectories

2023-04-02 19:42:30 -04:00

wrong-mul-method-signature.stderr

Move some UI tests into subdirectories

2023-04-02 19:42:30 -04:00