Maybe Waffle
8b494f427c
Allow impl Fn() -> impl Trait in return position
...
This allows writing the following function signatures:
```rust
fn f0() -> impl Fn() -> impl Trait;
fn f3() -> &'static dyn Fn() -> impl Trait;
```
These signatures were already allowed for common traits and associated
types, there is no reason why `Fn*` traits should be special in this
regard.
2022-10-25 13:25:51 +00:00
Andy Wang
84a199369b
Reword "Required because of the requirements on the impl of ..."
2022-08-18 21:08:08 +01:00
Esteban Kuber
ac8cbbd200
Fix #90970 , doesn't address #87437
2022-04-04 21:06:33 +00:00
Oli Scherer
86e1860495
Revert to inference variable based hidden type computation for RPIT
2022-03-28 16:53:47 +00:00
Oli Scherer
1c5bfb1770
Don't bind hidden types when searching for matching impls
2022-03-28 16:29:54 +00:00
Oli Scherer
264cd05b16
Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"
...
This reverts commit 6499c5e7fc78450d2d60
2022-03-28 16:27:14 +00:00
Michael Goulet
207fb5f070
fix impl trait message, bless tests
2022-02-17 19:18:42 -08:00
Michael Goulet
f04f732503
Add more information to impl Trait deny error
2022-02-17 18:45:53 -08:00
Oli Scherer
d54195db22
Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"
...
This reverts commit e7cc3bddbe734368a200
2022-02-11 07:18:06 +00:00
Oli Scherer
a745797142
Stop generating inference vars for nested impl trait and let type equality handle it.
...
This means we stop supporting the case where a locally defined trait has only a single impl so we can always use that impl (see nested-tait-inference.rs).
2022-02-02 15:40:11 +00:00
Santiago Pastorino
3e857f5743
Improve impl trait disallowed context error text
2021-07-19 10:19:58 -03:00
Caio
ad35979c50
Move some tests to more reasonable directories - 2
...
Address comments
Update limits
2021-01-16 19:46:54 -03:00
