Michael Goulet 6388c0ef04 Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjay ...

Make regionck care about placeholders in outlives components

Currently, we don't consider a placeholder type `!T` to be a type component when it comes to processing type-outlives obligations. This means that they are essentially treated like unit values with no sub-components, and always outlive any region. This is problematic for `non_lifetime_binders`, and even more problematic for `with_negative_coherence`, since negative coherence uses placeholders as universals.

This PR adds `Component::Placeholder` which acts much like `Component::Param`. This currently causes a regression in some non-lifetime-binders tests because `for<T> T: 'static` doesn't imply itself when processing outlives obligations, so code like this will fail:

```
fn foo() where for<T> T: 'static {
  foo() //~ fails
}
```

Since the where clause doesn't imply itself. This requires making the `MatchAgainstHigherRankedOutlives` relation smarter when it comes to binders.

r? types

2023-11-19 19:14:35 -08:00

..

auxiliary

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_fundamental_struct_ref.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_fundamental_struct_tuple.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_fundamental_struct_tuple.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_fundamental_struct.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_struct.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_struct.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_tuple.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like_err_tuple.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_copy_like.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_inherent_cc.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_inherent_cc.stderr

Special-case item attributes in the suggestion output

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

coherence_inherent.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_inherent.stderr

Special-case item attributes in the suggestion output

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

coherence_local_err_struct.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_local_err_struct.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_local_err_tuple.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_local_err_tuple.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_local_ref.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence_local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-all-remote.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-all-remote.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-bigint-int.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-bigint-param.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-bigint-param.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-bigint-vecint.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-blanket-implemented.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-blanket-implemented.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-blanket-unimplemented.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-blanket-unimplemented.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-cross-crate.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-cross-crate.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-multidispatch.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-multidispatch.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific-trait.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket-conflicts-with-specific.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-blanket.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-conflicting-negative-trait-impl.rs

Bless the remaining ui tests

2023-03-06 21:05:35 +08:00

coherence-conflicting-negative-trait-impl.stderr

Bless the remaining ui tests

2023-03-06 21:05:35 +08:00

coherence-covered-type-parameter.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cow.re_a.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cow.re_b.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cow.re_c.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cow.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cross-crate-conflict.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-cross-crate-conflict.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-default-trait-impl.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-default-trait-impl.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-doesnt-use-infcx-evaluate.rs

Don't call predicate_must_hold during fulfillment in intercrate

2023-07-16 01:56:16 +00:00

coherence-doesnt-use-infcx-evaluate.stderr

Don't call predicate_must_hold during fulfillment in intercrate

2023-07-16 01:56:16 +00:00

coherence-error-suppression.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-error-suppression.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-covariant-bound-vs-static.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-covariant-bound-vs-static.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-implied-bounds.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-implied-bounds.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-inputs.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fn-inputs.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-free-vs-bound-region.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-free-vs-bound-region.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fundamental-trait-objects.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-fundamental-trait-objects.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impl-in-fn.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impl-trait-for-marker-trait-negative.rs

Disallow impl autotrait for trait object

2023-02-03 08:33:40 -08:00

coherence-impl-trait-for-marker-trait-negative.stderr

Disallow impl autotrait for trait object

2023-02-03 08:33:40 -08:00

coherence-impl-trait-for-marker-trait-positive.rs

Disallow impl autotrait for trait object

2023-02-03 08:33:40 -08:00

coherence-impl-trait-for-marker-trait-positive.stderr

Disallow impl autotrait for trait object

2023-02-03 08:33:40 -08:00

coherence-impl-trait-for-trait-object-safe.rs

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

coherence-impl-trait-for-trait-object-safe.stderr

Work around the fact that check_mod_type_wf may spuriously return ErrorGuaranteed, even if that error is only emitted by check_modwitem_types

2023-10-25 12:04:54 +00:00

coherence-impl-trait-for-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impl-trait-for-trait.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impls-copy.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impls-copy.stderr

may not => cannot

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

coherence-impls-send.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impls-send.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impls-sized.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-impls-sized.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-inherited-assoc-ty-cycle-err.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-inherited-assoc-ty-cycle-err.stderr

moved note as unspanned note, moved note to the bottom of the msg

2023-07-18 21:53:34 -04:00

coherence-inherited-subtyping.rs

remove unused revision

2023-05-30 12:40:35 +02:00

coherence-inherited-subtyping.stderr

remove unused revision

2023-05-30 12:40:35 +02:00

coherence-iterator-vec-any-elem.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-iterator-vec.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-lone-type-parameter.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-lone-type-parameter.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-multidispatch-tuple.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-copy-bad.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-copy-bad.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-copy.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-safe-rpass.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-safe.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-impls-safe.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-inherent-where-bounds.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-inherent.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-outlives-lifetimes.rs

coherence doesn't like region constraints

2023-10-23 23:35:27 +00:00

coherence-negative-outlives-lifetimes.stock.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-negative-outlives-lifetimes.with_negative_coherence.stderr

coherence doesn't like region constraints

2023-10-23 23:35:27 +00:00

coherence-no-direct-lifetime-dispatch.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-no-direct-lifetime-dispatch.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-orphan.rs

Bless the remaining ui tests

2023-03-06 21:05:35 +08:00

coherence-orphan.stderr

Bless the remaining ui tests

2023-03-06 21:05:35 +08:00

coherence-overlap-all-t-and-tuple.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-all-t-and-tuple.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-double-negative.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-downstream-inherent.next.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-downstream-inherent.old.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-downstream-inherent.rs

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-downstream.next.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

coherence-overlap-downstream.old.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

coherence-overlap-downstream.rs

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516-inherent.next.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516-inherent.old.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516-inherent.rs

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516.next.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516.old.stderr

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-issue-23516.rs

update tests

2023-09-21 08:17:58 +02:00

coherence-overlap-messages.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-messages.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negate-alias-strict.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negate-not-use-feature-gate.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negate-not-use-feature-gate.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negate-strict.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negate-use-feature-gate.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negative-impls.rs

add known-bug test for unsound issue 74629

2023-04-26 22:34:39 -04:00

coherence-overlap-negative-trait2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-negative-trait.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-super-negative.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-trait-alias.rs

Make things work by using the new solver

2023-10-23 23:35:27 +00:00

coherence-overlap-trait-alias.stderr

Make things work by using the new solver

2023-10-23 23:35:27 +00:00

coherence-overlap-upstream-inherent.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-upstream-inherent.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-upstream.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlap-upstream.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

coherence-overlap-with-regions.rs

nits

2023-10-23 23:35:27 +00:00

coherence-overlap-with-regions.stderr

coherence doesn't like region constraints

2023-10-23 23:35:27 +00:00

coherence-overlapping-pairs.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-overlapping-pairs.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-pair-covered-uncovered-1.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-pair-covered-uncovered-1.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-pair-covered-uncovered.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-pair-covered-uncovered.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict-orphan.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict-orphan.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict-ty-param.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict-ty-param.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-conflict.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-ok-orphan.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-projection-ok.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-rfc447-constrained.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-subtyping.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-subtyping.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-tuple-conflict.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-tuple-conflict.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-unsafe-trait-object-impl.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-unsafe-trait-object-impl.stderr

Point out if a local trait has no implementations

2023-09-10 21:20:36 +00:00

coherence-vec-local-2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-vec-local-2.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-vec-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-vec-local.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-wasm-bindgen.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-wasm-bindgen.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

coherence-where-clause.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-with-closure.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-with-closure.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

coherence-with-coroutine.rs

Rename lots of files that had generator in their name

2023-10-20 21:14:02 +00:00

coherence-with-coroutine.stock.stderr

Rename lots of files that had generator in their name

2023-10-20 21:14:02 +00:00

conflicting-impl-with-err.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

conflicting-impl-with-err.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

const-generics-orphan-check-ok.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

deep-bad-copy-reason.rs

may not => cannot

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

deep-bad-copy-reason.stderr

may not => cannot

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

illegal-copy-bad-projection.rs

Suppress copy impl error when post-normalized type references errors

2023-03-08 00:12:33 +00:00

illegal-copy-bad-projection.stderr

Suppress copy impl error when post-normalized type references errors

2023-03-08 00:12:33 +00:00

impl-foreign-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-foreign[foreign].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-foreign[foreign].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-foreign[local].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-fundamental[foreign].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-fundamental[foreign].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-fundamental[local].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-locally-defined-fundamental.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign-for-locally-defined-fundamental[foreign].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[foreign]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[foreign]-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[foreign]-for-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[fundemental[foreign]]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[fundemental[foreign]]-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl-foreign[fundemental[local]]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign-for-foreign[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign-for-foreign[t].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign-for-fundamental[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign-for-fundamental[t].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[foreign[t]_local]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[foreign]-for-fundamental[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[foreign]-for-fundamental[t].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[foreign]-for-t.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[foreign]-for-t.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]_local]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]_local]-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-fundamental[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-fundamental[t].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-t.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundamental[t]]-for-t.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[fundemental[local]]-for-foreign[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local_fundamental[t]]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-foreign[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-fundamental[foreign[t]].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-fundamental[t].rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-fundamental[t].stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-t.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[local]-for-t.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-foreign.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-foreign.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-fundamental.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-fundamental.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-local.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-t.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

impl[t]-foreign[t]-for-t.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

indirect-impl-for-trait-obj-coherence.rs

add known-bug test for unsound issue 57893

2023-04-22 00:47:07 -04:00

inter-crate-ambiguity-causes-notes.next.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

inter-crate-ambiguity-causes-notes.old.stderr

Extend impl's def_span to include where clauses

2023-10-09 11:47:02 +00:00

inter-crate-ambiguity-causes-notes.rs

update tests

2023-09-21 08:17:58 +02:00

issue-85026.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-85026.stderr

Tighter spans for bad inherent impl types

2023-02-13 18:41:18 +00:00

issue-99663-2.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

issue-99663.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

negative-coherence-check-placeholder-outlives.rs

Make regionck care about placeholders in outlives components

2023-11-19 19:12:20 +00:00

negative-coherence-check-placeholder-outlives.stderr

Make regionck care about placeholders in outlives components

2023-11-19 19:12:20 +00:00

negative-coherence-considering-regions.any_lt.stderr

Consider regions

2023-10-23 23:35:27 +00:00

negative-coherence-considering-regions.rs

nits

2023-10-23 23:35:27 +00:00

negative-coherence-considering-regions.static_lt.stderr

coherence doesn't like region constraints

2023-10-23 23:35:27 +00:00

negative-coherence-placeholder-region-constraints-on-unification.explicit.stderr

Ignore but do not assume region obligations from unifying headers in negative coherence

2023-11-19 19:20:02 +00:00

negative-coherence-placeholder-region-constraints-on-unification.rs

Ignore but do not assume region obligations from unifying headers in negative coherence

2023-11-19 19:20:02 +00:00

re-rebalance-coherence-default-generic-associated-type.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

re-rebalance-coherence.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

strict-coherence-needs-negative-coherence.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

strict-coherence-needs-negative-coherence.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

warn-when-cycle-is-error-in-coherence.rs

more nits

2023-08-15 03:44:21 +00:00

warn-when-cycle-is-error-in-coherence.stderr

Bump COINDUCTIVE_OVERLAP_IN_COHERENCE

2023-10-18 18:54:11 +00:00