Forbid recursive impl trait#56074

Merged

bors merged 2 commits intorust-lang:masterfrom

matthewjasper:forbid-recursive-impl-trait

Jan 4, 2019

Contributor

matthewjasper commented Nov 19, 2018 •

edited

Loading

There is no type T, such that T = [T; 2], but impl Trait could sometimes
be to circumvented this.

This patch makes it a hard error for an opaque type to resolve to such a
"type". Before this can be merged it needs

A better error message - it's good enough for now.
A crater run (?) to see if this any real-world code

closes #47659

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-bors T-lang