rust/src/test/ui/impl-trait
bors 60bd3f9677 Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errors
Check hidden types in dead code

fixes #99490

r? `@compiler-errors`

best reviewed commit by commit
2022-10-13 22:39:05 +00:00
..
auxiliary
diagnostics
explicit-generic-args-with-impl-trait Deactivate feature gate explicit_generic_args_with_impl_trait 2022-06-06 12:21:49 +01:00
in-trait Add broken test for AFIT with RPITIT 2022-10-12 16:33:54 +00:00
issues Unconditionally encode hidden types in typeck results 2022-10-07 19:36:32 +00:00
multiple-lifetimes Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
associated-impl-trait-type-generic-trait.rs
associated-impl-trait-type-trivial.rs
associated-impl-trait-type.rs
async_scope_creep.rs
auto-trait-leak2.rs Greatly improve error reporting for futures and generators in note_obligation_cause_code 2022-06-19 15:31:22 -05:00
auto-trait-leak2.stderr Shorten span for closures. 2022-07-07 09:27:42 +02:00
auto-trait-leak-rpass.rs
auto-trait-leak.rs Remove type flag based opaque type workaround 2022-07-01 13:19:27 +00:00
auto-trait-leak.stderr Simplify MIR building entry. 2022-09-13 19:18:23 +02:00
auto-trait.rs
auto-trait.stderr Perform coherence checking per impl. 2022-06-22 21:18:46 +02:00
autoderef.rs
bound-normalization-fail.rs
bound-normalization-fail.stderr Point at return expression for RPIT-related error 2022-06-21 18:23:37 -07:00
bound-normalization-pass.rs
bounds_regression.rs Warn about dead tuple struct fields 2022-08-03 12:17:23 +02:00
can-return-unconstrained-closure.rs
closure-calling-parent-fn.rs
closure-in-impl-trait-arg.rs
closure-in-impl-trait.rs
cross-return-site-inference.rs
cross-return-site-inference.stderr
deprecated_annotation.rs
divergence.rs
does-not-live-long-enough.rs
does-not-live-long-enough.stderr
dyn-trait-elided-two-inputs-assoc.rs
dyn-trait-elided-two-inputs-param.rs
dyn-trait-elided-two-inputs-ref-assoc.rs
dyn-trait-elided-two-inputs-ref-param.rs
dyn-trait-return-should-be-impl-trait.rs
dyn-trait-return-should-be-impl-trait.stderr
equal-hidden-lifetimes.rs
equal-hidden-lifetimes.stderr
equality2.rs
equality2.stderr bless ui tests 2022-10-01 10:03:06 +00:00
equality-rpass.rs
equality-rpass.stderr bless ui tests 2022-10-01 10:03:06 +00:00
equality.rs
equality.stderr bless ui tests 2022-10-01 10:03:06 +00:00
example-calendar.rs
example-st.rs
extra-item.rs
extra-item.stderr
fallback_inference.rs
fallback_inference.stderr
fallback.rs
generic-with-implicit-hrtb-without-dyn.edition2015.stderr address review 2022-09-26 14:21:39 +02:00
generic-with-implicit-hrtb-without-dyn.edition2021.stderr address review 2022-09-26 14:21:39 +02:00
generic-with-implicit-hrtb-without-dyn.rs address review 2022-09-26 14:21:39 +02:00
hidden-lifetimes.rs
hidden-lifetimes.stderr Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
hidden-type-is-opaque-2.rs
hidden-type-is-opaque-2.stderr Only label place where type is needed if span is meaningful 2022-07-01 17:38:34 +00:00
hidden-type-is-opaque.rs
impl_trait_projections.rs
impl_trait_projections.stderr
impl-generic-mismatch-ab.rs
impl-generic-mismatch-ab.stderr
impl-generic-mismatch.rs add a missing test case for impl generic mismatch 2022-08-24 14:09:55 +09:00
impl-generic-mismatch.stderr add a missing test case for impl generic mismatch 2022-08-24 14:09:55 +09:00
impl-trait-in-macro.rs
impl-trait-in-macro.stderr
impl-trait-plus-priority.rs
impl-trait-plus-priority.stderr
issue-46959.rs
issue-49579.rs
issue-49685.rs
issue-51185.rs
issue-54966.rs
issue-54966.stderr
issue-55872-1.rs Make RPIT and TAIT work exactly the same 2022-06-29 08:58:36 +00:00
issue-55872-1.stderr Make RPIT and TAIT work exactly the same 2022-06-29 08:58:36 +00:00
issue-55872-2.rs
issue-55872-2.stderr
issue-55872-3.rs Make RPIT and TAIT work exactly the same 2022-06-29 08:58:36 +00:00
issue-55872-3.stderr Make RPIT and TAIT work exactly the same 2022-06-29 08:58:36 +00:00
issue-55872.rs
issue-55872.stderr
issue-56445.rs
issue-68532.rs
issue-72911.rs
issue-72911.stderr
issue-86465.rs
issue-86465.stderr
issue-87450.rs
issue-87450.stderr bless ui tests 2022-10-01 10:03:06 +00:00
issue-99073-2.rs Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-26 07:46:30 +00:00
issue-99073-2.stderr Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-26 07:46:30 +00:00
issue-99073.rs Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-26 07:46:30 +00:00
issue-99073.stderr Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-26 07:46:30 +00:00
issue-99642-2.rs add tests and comment 2022-07-27 14:43:46 +03:00
issue-99642.rs add tests and comment 2022-07-27 14:43:46 +03:00
issue-99914.rs Do not leak type variables from opaque type relation 2022-07-30 00:41:39 +00:00
issue-99914.stderr Do not leak type variables from opaque type relation 2022-07-30 00:41:39 +00:00
issue-100075-2.rs Fall back when relating two opaques by substs in MIR typeck 2022-08-10 03:27:41 +00:00
issue-100075-2.stderr bless ui tests 2022-10-01 10:03:06 +00:00
issue-100075.rs Fall back when relating two opaques by substs in MIR typeck 2022-08-10 03:27:41 +00:00
issue-100075.stderr Fall back when relating two opaques by substs in MIR typeck 2022-08-10 03:27:41 +00:00
issue-100187.rs Add regression test for issue 100187 2022-08-09 15:42:59 -03:00
issue-102605.rs add test for #102605 2022-10-04 16:15:09 +08:00
issue-102605.stderr add test for #102605 2022-10-04 16:15:09 +08:00
lifetimes2.rs
lifetimes.rs
method-suggestion-no-duplication.rs
method-suggestion-no-duplication.stderr Track implicit Sized obligations in type params 2022-07-07 12:15:12 -07:00
multiple-lifetimes.rs
must_outlive_least_region_or_bound.rs Fully stabilize NLL 2022-06-03 17:16:41 -04:00
must_outlive_least_region_or_bound.stderr Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
needs_least_region_or_bound.rs
negative-reasoning.rs
negative-reasoning.stderr Restore Opaque behavior to coherence check 2022-07-25 23:38:41 +00:00
nested_impl_trait.rs
nested_impl_trait.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
nested-return-type2-tait2.rs Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk" 2022-07-28 15:22:02 +00:00
nested-return-type2-tait2.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
nested-return-type2-tait3.rs Revert "Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obk" 2022-07-28 15:22:02 +00:00
nested-return-type2-tait3.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
nested-return-type2-tait.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type2-tait.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type2.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type2.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait2.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait2.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait3.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait3.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3-tait.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3.rs Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type3.stderr Make it a lint for all opaque types 2022-10-02 19:50:19 +00:00
nested-return-type.rs
nested-rpit-hrtb.rs
nested-rpit-hrtb.stderr
nesting.rs
no-method-suggested-traits.rs
no-method-suggested-traits.stderr Track implicit Sized obligations in type params 2022-07-07 12:15:12 -07:00
no-trait.rs
no-trait.stderr
object-unsafe-trait-in-return-position-dyn-trait.rs
object-unsafe-trait-in-return-position-dyn-trait.stderr Tweak WellFormedLocs a bit 2022-08-30 06:19:48 +00:00
object-unsafe-trait-in-return-position-impl-trait.rs
object-unsafe-trait-in-return-position-impl-trait.stderr Resolve vars before emitting coerce error 2022-08-04 03:05:57 +00:00
point-to-type-err-cause-on-impl-trait-return.rs
point-to-type-err-cause-on-impl-trait-return.stderr revive suggestions for boxed trait objects instead of impl Trait 2022-08-07 16:50:06 +09:00
printing-binder.rs Fix printing impl trait under binders 2022-06-24 15:36:55 -07:00
printing-binder.stderr Fix printing impl trait under binders 2022-06-24 15:36:55 -07:00
private_unused.rs
projection-mismatch-in-impl-where-clause.rs
projection-mismatch-in-impl-where-clause.stderr Reword "Required because of the requirements on the impl of ..." 2022-08-18 21:08:08 +01:00
projection.rs
question_mark.rs
recursive-impl-trait-type-direct.rs
recursive-impl-trait-type-indirect.rs
recursive-impl-trait-type-indirect.stderr Shorten span for closures. 2022-07-07 09:27:42 +02:00
recursive-impl-trait-type-through-non-recursive.rs
recursive-impl-trait-type-through-non-recursive.stderr fix one more case of trailing space 2022-06-16 14:40:29 +03:00
recursive-type-alias-impl-trait-declaration-too-subtle-2.rs
recursive-type-alias-impl-trait-declaration-too-subtle-2.stderr
recursive-type-alias-impl-trait-declaration-too-subtle.rs
recursive-type-alias-impl-trait-declaration-too-subtle.stderr
recursive-type-alias-impl-trait-declaration.rs
region-escape-via-bound-contravariant-closure.rs
region-escape-via-bound-contravariant.rs
region-escape-via-bound.rs Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
region-escape-via-bound.stderr Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
return-position-impl-trait-minimal.rs
rpit-assoc-pair-with-lifetime.rs Completely remove captures flag 2022-08-04 11:26:53 -03:00
rpit-not-sized.rs
rpit-not-sized.stderr
static-return-lifetime-infered.rs
static-return-lifetime-infered.stderr Use real opaque type instead of just saying impl Trait 2022-07-26 06:19:58 +00:00
suggest-calling-rpit-closure.rs Improve suggestion for calling closure on type mismatch 2022-06-21 18:12:43 -07:00
suggest-calling-rpit-closure.stderr Suggest calling trait objects and parameters too, when possible 2022-08-27 23:08:44 +00:00
trait_resolution.rs
trait_type.rs
trait_type.stderr
two_tait_defining_each_other2.rs
two_tait_defining_each_other2.stderr
two_tait_defining_each_other3.rs
two_tait_defining_each_other3.stderr
two_tait_defining_each_other.rs
two_tait_defining_each_other.stderr
type_parameters_captured.rs Fully stabilize NLL 2022-06-03 17:16:41 -04:00
type_parameters_captured.stderr Fully stabilize NLL 2022-06-03 17:16:41 -04:00
type-alias-generic-param.rs
type-alias-impl-trait-in-fn-body.rs
type-arg-mismatch-due-to-impl-trait.rs
type-arg-mismatch-due-to-impl-trait.stderr
unactionable_diagnostic.fixed Report diagnostics at the actually actionable site 2022-09-23 08:00:02 +00:00
unactionable_diagnostic.rs Report diagnostics at the actually actionable site 2022-09-23 08:00:02 +00:00
unactionable_diagnostic.stderr Report diagnostics at the actually actionable site 2022-09-23 08:00:02 +00:00
universal_hrtb_anon.rs
universal_hrtb_named.rs
universal_in_adt_in_parameters.rs
universal_in_impl_trait_in_parameters.rs
universal_in_trait_defn_parameters.rs
universal_multiple_bounds.rs
universal_wrong_bounds.rs
universal_wrong_bounds.stderr
universal_wrong_hrtb.rs
universal_wrong_hrtb.stderr
universal-mismatched-type.rs
universal-mismatched-type.stderr
universal-two-impl-traits.rs
universal-two-impl-traits.stderr
unsafety-checking-cycle.rs
wf-eval-order.rs
where-allowed-2.rs
where-allowed-2.stderr
where-allowed.rs
where-allowed.stderr bless ui tests 2022-10-01 10:03:06 +00:00
xcrate_simple.rs
xcrate.rs