Implement a `explicit_generic_args_with_impl_trait` feature gate by nbdd0121 · Pull Request #86176 · rust-lang/rust

nbdd0121 · 2021-06-09T20:01:09Z

Implements #83701

When this gate is enabled, explicit generic arguments can be specified even if impl Trait is used in argument position. Generic arguments can only be specified for explicit generic parameters but not for the synthetic type parameters from impl Trait

So code like this will be accepted:

#![feature(explicit_generic_args_with_impl_trait)]fnfoo<T: ?Sized>(_f:implAsRef<T>){}fnmain(){foo::<str>("".to_string());}

rust-highfive · 2021-06-09T20:01:12Z

r? @steveklabnik

(rust-highfive has picked a reviewer for you, use r? to override)

bors · 2021-06-10T23:35:07Z

☔ The latest upstream changes (presumably #80080) made this pull request unmergeable. Please resolve the merge conflicts.

crlf0710 · 2021-06-26T15:47:32Z

r? @matthewjasper

bors · 2021-07-27T19:38:50Z

☔ The latest upstream changes (presumably #83484) made this pull request unmergeable. Please resolve the merge conflicts.

bors · 2021-07-28T09:07:08Z

☔ The latest upstream changes (presumably #86735) made this pull request unmergeable. Please resolve the merge conflicts.

JohnTitor · 2021-07-28T20:29:33Z

r? @bjorn3 as per GitHub suggestions

bjorn3 · 2021-07-28T20:56:00Z

I have no experience with the typechecker, maybe

r? @lcnr

(another github suggestion)

jackh726 · 2021-07-28T22:04:33Z

I will take this review if @lcnr can't.

That being said, I think it's prudent to get a sign off from the lang team here. I imagine this probably falls under the "make more reversible decisions" part of the initiative process. So probably just need someone to give the okay. So cc @rust-lang/lang

joshtriplett · 2021-07-28T22:23:23Z

I agree---since this is nightly-only, I think it's fine to go ahead with it.

I'll nominate this for consideration at a future meeting, but in the interim, go ahead.

bors · 2021-07-30T14:44:48Z

☔ The latest upstream changes (presumably #87237) made this pull request unmergeable. Please resolve the merge conflicts.

jackh726

A couple nits, but r=me for this after those are addressed.

#83701 needs modified to "become" a tracking issue before/when this lands (or a new issue could be opened)

jackh726 · 2021-08-02T01:21:50Z

I suppose we can just co-opt that issue to be a tracking issue, yeah.

jackh726 · 2021-08-02T01:23:58Z

I'd like a small comment here just explaining what we're doing.

jackh726 · 2021-08-02T01:31:31Z

...in fact, I imagine the longer for that part of the diagnostic will probably co-opt some of this logic

jackh726 · 2021-08-02T01:33:40Z

r? @jackh726

When this gate is enabled, explicit generic arguments can be specified even if `impl Trait` is used in argument position. Generic arguments can only be specified for explicit generic parameters but not for the synthetic type parameters from `impl Trait`

jackh726 · 2021-08-02T14:03:59Z

@bors r+

bors · 2021-08-02T14:04:00Z

📌 Commit 9b90e7e has been approved by jackh726

Rollup of 6 pull requests Successful merges: - rust-lang#86176 (Implement a `explicit_generic_args_with_impl_trait` feature gate) - rust-lang#87654 (Add documentation for the order of Option and Result) - rust-lang#87659 (Fix invalid suggestions for non-ASCII characters in byte constants) - rust-lang#87673 (Tweak opaque type mismatch error) - rust-lang#87687 (Inline some macros) - rust-lang#87690 (Add missing "allocated object" doc link to `<*mut T>::add`) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup

…ackh726 Provide extra note if synthetic type args are specified Implement the unresolved question in rust-lang#83701 as suggested in rust-lang#86176 (comment). r? `@jackh726`

…ackh726 Provide extra note if synthetic type args are specified Implement the unresolved question in rust-lang#83701 as suggested in rust-lang#86176 (comment). r? ``@jackh726``

…1,nagisa Stabilize explicit_generic_args_with_impl_trait This is a stabilisation PR for `explicit_generic_args_with_impl_trait`. * [tracking issue](rust-lang#83701) - [Stabilisation report](rust-lang#83701 (comment)) - [FCP entered](rust-lang#83701 (comment)) * [implementation PR](rust-lang#86176) * [Reference PR](rust-lang/reference#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`

rust-highfive assigned steveklabnik Jun 9, 2021

rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 9, 2021

This comment has been minimized.
Sign in to view

nbdd0121 force-pushed the explicit-generic-args branch from 0d25b89 to d03079cCompare June 9, 2021 21:37

This comment has been minimized.
Sign in to view

nbdd0121 force-pushed the explicit-generic-args branch from d03079c to 52a8798Compare June 9, 2021 22:47

nbdd0121 force-pushed the explicit-generic-args branch from 52a8798 to 43a3064Compare June 10, 2021 23:39

This comment has been minimized.
Sign in to view

nbdd0121 force-pushed the explicit-generic-args branch from 43a3064 to ebefa0cCompare June 10, 2021 23:52

crlf0710 added A-impl-trait Area: `impl Trait`. Universally / existentially quantified anonymous types with static dispatch. T-lang Relevant to the language team T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 26, 2021

rust-highfive assigned matthewjasper and unassigned steveklabnik Jun 26, 2021

JohnCSimon added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jul 12, 2021

nbdd0121 force-pushed the explicit-generic-args branch 2 times, most recently from 15a1422 to 35b80d9Compare July 28, 2021 01:07

nbdd0121 force-pushed the explicit-generic-args branch from 35b80d9 to ffb2892Compare July 28, 2021 20:19

rust-highfive assigned bjorn3 and unassigned matthewjasper Jul 28, 2021

rust-highfive assigned lcnr and unassigned bjorn3 Jul 28, 2021

joshtriplett added the I-nominated label Jul 28, 2021

nbdd0121 force-pushed the explicit-generic-args branch from ffb2892 to 5527810Compare July 31, 2021 19:37

jackh726 approved these changes Aug 2, 2021
View reviewed changes

rust-highfive assigned jackh726 and unassigned lcnr Aug 2, 2021

jackh726 added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Aug 2, 2021

nbdd0121 force-pushed the explicit-generic-args branch from 5527810 to 9b90e7eCompare August 2, 2021 03:17

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Aug 2, 2021

jackh726 mentioned this pull request Aug 2, 2021
Tracking issue for explicit_generic_args_with_impl_trait#83701
Closed
3 tasks

camsteffen mentioned this pull request Aug 2, 2021
Rollup of 6 pull requests #87698
Merged

bors merged commit 14f3418 into rust-lang:masterAug 2, 2021

rustbot added this to the 1.56.0 milestone Aug 2, 2021

nbdd0121 deleted the explicit-generic-args branch August 2, 2021 22:14

jonas-schievink mentioned this pull request Aug 10, 2021
No way to use fn with both const generics and impl Trait#85475
Closed

nbdd0121 mentioned this pull request Feb 14, 2022
Provide extra note if synthetic type args are specified #93982
Merged

nrc mentioned this pull request May 9, 2022
Stabilize explicit_generic_args_with_impl_trait #96868
Merged

Uh oh!

Uh oh!

Conversation

nbdd0121 commented Jun 9, 2021

Uh oh!

rust-highfive commented Jun 9, 2021

Uh oh!

This comment has been minimized.

This comment has been minimized.

bors commented Jun 10, 2021

Uh oh!

This comment has been minimized.

crlf0710 commented Jun 26, 2021

Uh oh!

bors commented Jul 27, 2021

Uh oh!

bors commented Jul 28, 2021

Uh oh!

JohnTitor commented Jul 28, 2021

Uh oh!

bjorn3 commented Jul 28, 2021

Uh oh!

jackh726 commented Jul 28, 2021

Uh oh!

joshtriplett commented Jul 28, 2021

Uh oh!

bors commented Jul 30, 2021

Uh oh!

jackh726 left a comment

Choose a reason for hiding this comment

Uh oh!

jackh726Aug 2, 2021

Choose a reason for hiding this comment

Uh oh!

jackh726Aug 2, 2021

Choose a reason for hiding this comment

Uh oh!

nbdd0121Aug 2, 2021

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

jackh726Aug 2, 2021

Choose a reason for hiding this comment

Uh oh!

jackh726 commented Aug 2, 2021

Uh oh!

jackh726 commented Aug 2, 2021

Uh oh!

bors commented Aug 2, 2021

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

14 participants