diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-10-23 10:30:41 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-10-23 10:32:46 -0400 |
| commit | 1371cd27d04a9a850c9141b5657367a4706ce60d (patch) | |
| tree | 8efb41b87c8740ad2b43092aa476fbffa8c7fbb6 /src/rustllvm/RustWrapper.cpp | |
| parent | 64b5599352545e390ead3da4f14c3a1ffaba50d4 (diff) | |
| download | rust-1371cd27d04a9a850c9141b5657367a4706ce60d.tar.gz rust-1371cd27d04a9a850c9141b5657367a4706ce60d.zip | |
check the self type is well-formed
This fixes `issue-28848.rs` -- it also handles another case that the AST region checker gets wrong (`wf-self-type.rs`). I don't actually think that this is the *right way* to be enforcing this constraint -- I think we should probably do it more generally, perhaps by editing `predicates_of` for the impl itself. The chalk-style implied bounds setup ought to fix this.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions