]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #86176 - nbdd0121:explicit-generic-args, r=jackh726
authorCameron Steffen <cam.steffen94@gmail.com>
Mon, 2 Aug 2021 14:36:49 +0000 (09:36 -0500)
committerGitHub <noreply@github.com>
Mon, 2 Aug 2021 14:36:49 +0000 (09:36 -0500)
commit14f3418f79a6cd1ecf5aab1a2275ab8b08785990
tree7fb72aa8c90ffd73c0de79f66a7a2b496d76184e
parentd08460e70cd77945ecfa6f4826c82ed4ba29fb76
parent9b90e7e9802499ef3b4299149e0da1a16668a2f1
Rollup merge of #86176 - nbdd0121:explicit-generic-args, r=jackh726

Implement a `explicit_generic_args_with_impl_trait` feature gate

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:
```rust
#![feature(explicit_generic_args_with_impl_trait)]

fn foo<T: ?Sized>(_f: impl AsRef<T>) {}
fn main() {
    foo::<str>("".to_string());
}
```