diff options
| author | bors <bors@rust-lang.org> | 2019-01-04 14:21:19 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-01-04 14:21:19 +0000 |
| commit | ae167c91aa9abefcd4a9697b5560330ef18e2e3e (patch) | |
| tree | 8ad1bd3c76a46b262b7a7ebbe666e1161a6fa173 /src/rustllvm/RustWrapper.cpp | |
| parent | a602f13f02acc17eda0d7f2c2d9adeabbdb59cf4 (diff) | |
| parent | 65c1f54a06293b2a1345c69d0b5d88d1343e3b5b (diff) | |
| download | rust-ae167c91aa9abefcd4a9697b5560330ef18e2e3e.tar.gz rust-ae167c91aa9abefcd4a9697b5560330ef18e2e3e.zip | |
Auto merge of #56074 - matthewjasper:forbid-recursive-impl-trait, r=nikomatsakis
Forbid recursive impl trait 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 - [x] A better error message - it's good enough for now. - [x] A crater run (?) to see if this any real-world code closes #47659
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions