Dylan DPC f1f44b9e4d Rollup merge of #96868 - nrc:turbo-stable, r=jhpratt,nbdd0121,nagisa ... Stabilize explicit_generic_args_with_impl_trait This is a stabilisation PR for `explicit_generic_args_with_impl_trait`. * [tracking issue](https://github.com/rust-lang/rust/issues/83701) - [Stabilisation report](https://github.com/rust-lang/rust/issues/83701#issuecomment-1109949897) - [FCP entered](https://github.com/rust-lang/rust/issues/83701#issuecomment-1120285703) * [implementation PR](https://github.com/rust-lang/rust/pull/86176) * [Reference PR](https://github.com/rust-lang/reference/pull/1212) * There is no mention of using the turbofish operator in the book (other than an entry in the operator list in the appendix), so there is no documentation to change/add there, unless we felt like we should add a section on using turbofish, but that seems orthogonal to `explicit_generic_args_with_impl_trait`		2022-06-11 07:42:12 +02:00
..
auxiliary
diagnostics	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
explicit-generic-args-with-impl-trait	Deactivate feature gate explicit_generic_args_with_impl_trait	2022-06-06 12:21:49 +01:00
issues	Deactivate feature gate explicit_generic_args_with_impl_trait	2022-06-06 12:21:49 +01:00
multiple-lifetimes	Fully stabilize NLL	2022-06-03 17:16:41 -04:00
associated-impl-trait-type-generic-trait.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
associated-impl-trait-type-trivial.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
associated-impl-trait-type.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
async_scope_creep.rs	Fix mixing lazy TAIT and RPIT in their defining scopes	2022-03-28 17:02:21 +00:00
auto-trait-leak-rpass.rs
auto-trait-leak.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
auto-trait-leak.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
auto-trait-leak2.rs	pretty: trim paths of unique symbols	2020-09-02 22:26:37 +03:00
auto-trait-leak2.stderr	Fix printing unit return ty, don't elaborate FnOnce unless we see it	2021-11-23 11:05:07 -08:00
auto-trait.rs	prevent opaque types from appearing in impl headers	2022-04-11 15:11:27 +00:00
auto-trait.stderr	Compute a more precise span for opaque type impls	2022-04-12 12:28:31 +00:00
autoderef.rs	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
bound-normalization-fail.rs	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
bound-normalization-fail.stderr	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
bound-normalization-pass.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
bounds_regression.rs
can-return-unconstrained-closure.rs
closure-calling-parent-fn.rs
closure-in-impl-trait-arg.rs	arg position	2020-10-07 10:19:04 +02:00
closure-in-impl-trait.rs	do not lower patterns in impl Trait	2020-10-07 10:19:04 +02:00
cross-return-site-inference.rs	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
cross-return-site-inference.stderr	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
deprecated_annotation.rs
divergence.rs	Revert to inference variable based hidden type computation for RPIT	2022-03-28 16:53:47 +00:00
does-not-live-long-enough.rs	Suggest move for closures and async blocks in more cases.	2020-04-08 13:01:53 +02:00
does-not-live-long-enough.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
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	Ensure tail expression will have a Ty for E0746	2020-04-20 11:17:03 -07:00
dyn-trait-return-should-be-impl-trait.stderr	Fix late-bound ICE in unsized return suggestion	2022-04-02 15:29:55 -07:00
equal-hidden-lifetimes.rs	Handle equal regions in opaque type inference	2020-02-14 22:40:03 +00:00
equal-hidden-lifetimes.stderr	Bless tests.	2022-04-30 13:55:17 +02:00
equality-rpass.rs	warn against 'specialization' feature	2020-06-16 09:39:34 +02:00
equality-rpass.stderr	Suggest minimal subset features in incomplete_features lint	2020-10-17 02:01:08 +09:00
equality.rs	skip pointing out ambuguous impls in alloc/std crates too	2022-02-17 19:19:37 -08:00
equality.stderr	Refer to the TraitRef::identity in the message to be clearer	2022-04-04 21:06:35 +00:00
equality2.rs	warn against 'specialization' feature	2020-06-16 09:39:34 +02:00
equality2.stderr	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
example-calendar.rs	Update chalk tests	2022-02-12 13:39:52 +00:00
example-st.rs
extra-item.rs
extra-item.stderr
fallback.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
fallback_inference.rs	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
fallback_inference.stderr	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
hidden-lifetimes.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
hidden-lifetimes.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
hidden-type-is-opaque-2.rs	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
hidden-type-is-opaque-2.stderr	add new emit_inference_failure_err	2022-06-02 10:19:15 +02:00
hidden-type-is-opaque.rs	Test that TAIT and RPIT are in sync	2022-03-28 17:01:23 +00:00
impl-generic-mismatch-ab.rs
impl-generic-mismatch-ab.stderr	Tweak assoc type obligation spans	2021-12-11 02:32:15 +00:00
impl-generic-mismatch.rs	tests: remove ignore directives from tests that mention core/alloc/std spans.	2020-04-02 11:48:34 +03:00
impl-generic-mismatch.stderr	Modify structured suggestion output	2021-08-11 09:46:24 +00:00
impl-trait-in-macro.rs	Make def_key and HIR parenting consistent.	2021-03-12 22:48:32 +01:00
impl-trait-in-macro.stderr	On type mismatch caused by assignment, point at assignee	2021-11-25 18:04:33 +00:00
impl-trait-plus-priority.rs
impl-trait-plus-priority.stderr
impl_trait_projections.rs
impl_trait_projections.stderr	Update ui test output	2022-03-27 19:21:50 +02:00
issue-46959.rs	Move tests	2022-05-20 10:53:58 -03:00
issue-49579.rs	Move some tests to more reasonable directories	2021-11-06 15:35:20 -03:00
issue-49685.rs	Move some tests to more reasonable directories	2021-11-06 15:35:20 -03:00
issue-51185.rs	Move some tests to more reasonable directories	2021-11-06 15:35:20 -03:00
issue-54966.rs	Move some tests to more reasonable places	2022-05-28 18:38:34 -03:00
issue-54966.stderr	Move some tests to more reasonable places	2022-05-28 18:38:34 -03:00
issue-55872-1.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-55872-1.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-55872-2.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-55872-2.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-55872-3.rs	Restore impl Future<Output = Type> to async blocks	2022-03-30 19:26:35 -07:00
issue-55872-3.stderr	Restore impl Future<Output = Type> to async blocks	2022-03-30 19:26:35 -07:00
issue-55872.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-55872.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
issue-56445.rs	make ConstEvaluatable more strict	2020-09-08 16:39:12 +02:00
issue-68532.rs	Add test for #68532	2020-05-27 00:48:37 +09:00
issue-72911.rs	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
issue-72911.stderr	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
issue-86465.rs	Have the spans of TAIT type conflict errors point to the actual site instead of the owning function	2022-03-28 16:30:59 +00:00
issue-86465.stderr	Special case the situation where the previous span is the same as the new one	2022-03-28 16:31:52 +00:00
issue-87450.rs	Add regression test for issue #87450.	2021-07-30 18:32:22 +00:00
issue-87450.stderr	Fix printing unit return ty, don't elaborate FnOnce unless we see it	2021-11-23 11:05:07 -08:00
lifetimes.rs
lifetimes2.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
method-suggestion-no-duplication.rs
method-suggestion-no-duplication.stderr	pretty: trim paths of unique symbols	2020-09-02 22:26:37 +03:00
multiple-lifetimes.rs	resolve the conflict in compiler/rustc_session/src/parse.rs	2022-03-16 20:12:30 +08:00
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	Fully stabilize NLL	2022-06-03 17:16:41 -04:00
needs_least_region_or_bound.rs	stabilize member constraints	2021-05-26 06:01:53 -04:00
negative-reasoning.rs	prevent opaque types from appearing in impl headers	2022-04-11 15:11:27 +00:00
negative-reasoning.stderr	Compute a more precise span for opaque type impls	2022-04-12 12:28:31 +00:00
nested-return-type.rs	Fix and test nested impl Trait	2020-02-14 22:40:03 +00:00
nested-return-type2-tait.rs	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
nested-return-type2-tait.stderr	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
nested-return-type2-tait2.rs	Show that the behaviour is the same for RPIT and TAIT	2022-03-28 17:08:50 +00:00
nested-return-type2-tait2.stderr	Mention implementers of unsatisfied trait	2022-04-04 21:01:42 +00:00
nested-return-type2-tait3.rs	Show that the behaviour is the same for RPIT and TAIT	2022-03-28 17:08:50 +00:00
nested-return-type2-tait3.stderr	Mention implementers of unsatisfied trait	2022-04-04 21:01:42 +00:00
nested-return-type2.rs	Also use the RPIT back compat hack in trait projection	2022-03-28 17:09:00 +00:00
nested-return-type3-tait.rs	Show that the behaviour is the same for RPIT and TAIT	2022-03-28 17:08:50 +00:00
nested-return-type3-tait2.rs	Show that the behaviour is the same for RPIT and TAIT	2022-03-28 17:08:50 +00:00
nested-return-type3-tait3.rs	Show that the behaviour is the same for RPIT and TAIT	2022-03-28 17:08:50 +00:00
nested-return-type3.rs	Add a test showing that a similar example compiles	2022-03-28 17:08:40 +00:00
nested-rpit-hrtb.rs	Add a test with both passing and erroneous cases.	2022-05-14 14:11:18 +02:00
nested-rpit-hrtb.stderr	Add a test with both passing and erroneous cases.	2022-05-14 14:11:18 +02:00
nested_impl_trait.rs	Don't bind hidden types when searching for matching impls	2022-03-28 16:29:54 +00:00
nested_impl_trait.stderr	Fix #90970, doesn't address #87437	2022-04-04 21:06:33 +00:00
nesting.rs
no-method-suggested-traits.rs	Unify output of "variant not found" errors	2020-01-08 08:05:31 -08:00
no-method-suggested-traits.stderr	Always sort suggestions before emitting them	2021-10-24 20:28:44 +00:00
no-trait.rs
no-trait.stderr
object-unsafe-trait-in-return-position-dyn-trait.rs	Account for object safety when suggesting Box<dyn Trait>	2020-01-16 09:49:14 -08:00
object-unsafe-trait-in-return-position-dyn-trait.stderr	Modify structured suggestion output	2021-08-11 09:46:24 +00:00
object-unsafe-trait-in-return-position-impl-trait.rs	Account for object safety when suggesting Box<dyn Trait>	2020-01-16 09:49:14 -08:00
object-unsafe-trait-in-return-position-impl-trait.stderr	Revert to inference variable based hidden type computation for RPIT	2022-03-28 16:53:47 +00:00
point-to-type-err-cause-on-impl-trait-return.rs	Revert to inference variable based hidden type computation for RPIT	2022-03-28 16:53:47 +00:00
point-to-type-err-cause-on-impl-trait-return.stderr	Fix late-bound ICE in unsized return suggestion	2022-04-02 15:29:55 -07:00
private_unused.rs	Move private_unused.rs test to impl-trait	2021-08-18 09:11:43 -03:00
projection-mismatch-in-impl-where-clause.rs	Revert to inference variable based hidden type computation for RPIT	2022-03-28 16:53:47 +00:00
projection-mismatch-in-impl-where-clause.stderr	Revert to inference variable based hidden type computation for RPIT	2022-03-28 16:53:47 +00:00
projection.rs	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
question_mark.rs	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
recursive-impl-trait-type-direct.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
recursive-impl-trait-type-indirect.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
recursive-impl-trait-type-indirect.stderr	Pretty print generator witness only in -Zverbose mode	2021-06-12 18:28:17 +02:00
recursive-impl-trait-type-through-non-recursive.rs	Expand "recursive opaque type" diagnostic	2020-06-15 11:08:43 -07:00
recursive-impl-trait-type-through-non-recursive.stderr	review comments	2020-06-15 12:11:28 -07:00
recursive-type-alias-impl-trait-declaration-too-subtle-2.rs	prevent opaque types from appearing in impl headers	2022-04-11 15:11:27 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle-2.stderr	Compute a more precise span for opaque type impls	2022-04-12 12:28:31 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle.rs	prevent opaque types from appearing in impl headers	2022-04-11 15:11:27 +00:00
recursive-type-alias-impl-trait-declaration-too-subtle.stderr	Compute a more precise span for opaque type impls	2022-04-12 12:28:31 +00:00
recursive-type-alias-impl-trait-declaration.rs	Don't bind hidden types when searching for matching impls	2022-03-28 16:29:54 +00:00
region-escape-via-bound-contravariant-closure.rs	Remove in-band lifetimes	2022-02-24 18:50:33 -08:00
region-escape-via-bound-contravariant.rs	Remove in-band lifetimes	2022-02-24 18:50:33 -08:00
region-escape-via-bound.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
region-escape-via-bound.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
return-position-impl-trait-minimal.rs
rpit-not-sized.rs	don't do Sized/other fn signature checks on RPIT's real type	2022-05-26 10:21:20 -07:00
rpit-not-sized.stderr	don't do Sized/other fn signature checks on RPIT's real type	2022-05-26 10:21:20 -07:00
static-return-lifetime-infered.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
static-return-lifetime-infered.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
trait_resolution.rs	Don't bind hidden types when searching for matching impls	2022-03-28 16:29:54 +00:00
trait_type.rs
trait_type.stderr	Suggest changing impl parameter types to match trait	2021-04-08 13:50:47 -07:00
two_tait_defining_each_other.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
two_tait_defining_each_other.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
two_tait_defining_each_other2.rs	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
two_tait_defining_each_other2.stderr	Remove opaque type obligation and just register opaque types as they are encountered.	2022-03-28 16:57:45 +00:00
two_tait_defining_each_other3.rs	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
two_tait_defining_each_other3.stderr	Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"	2022-03-28 16:27:14 +00:00
type-alias-generic-param.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
type-alias-impl-trait-in-fn-body.rs	Make all tests use type_alias_impl_trait feature instead of min	2021-07-27 12:33:02 -03:00
type-arg-mismatch-due-to-impl-trait.rs	Move some tests to more reasonable directories	2021-09-15 14:03:27 -03:00
type-arg-mismatch-due-to-impl-trait.stderr	Move some tests to more reasonable directories	2021-09-15 14:03:27 -03:00
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
universal-mismatched-type.rs
universal-mismatched-type.stderr	pretty: trim paths of unique symbols	2020-09-02 22:26:37 +03:00
universal-two-impl-traits.rs	Make def_key and HIR parenting consistent.	2021-03-12 22:48:32 +01:00
universal-two-impl-traits.stderr	On type mismatch caused by assignment, point at assignee	2021-11-25 18:04:33 +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	reword "possible candidate" import suggestion	2020-05-07 00:33:25 -04:00
universal_wrong_hrtb.rs	Fail gracefully when encountering an HRTB in APIT.	2022-06-03 22:50:14 +02:00
universal_wrong_hrtb.stderr	Fail gracefully when encountering an HRTB in APIT.	2022-06-03 22:50:14 +02:00
unsafety-checking-cycle.rs	Call is_freeze less in unsafety-checking	2020-02-14 20:12:46 +00:00
wf-eval-order.rs	Fix bugs in evaluating WellFormed predicates	2020-10-06 11:19:31 +01:00
where-allowed-2.rs	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
where-allowed-2.stderr	Revert diagnostic duplication and accidental stabilization	2022-04-28 13:25:36 +00:00
where-allowed.rs	fix impl trait message, bless tests	2022-02-17 19:18:42 -08:00
where-allowed.stderr	diagnostics: use correct span for const generics	2022-04-04 12:16:20 -07:00
xcrate.rs	Spellchecking some comments	2022-03-30 01:39:38 -04:00
xcrate_simple.rs