diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-03-20 08:17:09 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2015-03-31 09:51:35 -0400 |
| commit | cead47ca53a2c6bb0f774264131dccbc0936d90b (patch) | |
| tree | 26972ced5bfd0742dd2597bb6398db319610936f /src/rustllvm/RustWrapper.cpp | |
| parent | 8403b82ddb6657dead95c6c3877824ffb3f13af2 (diff) | |
| download | rust-cead47ca53a2c6bb0f774264131dccbc0936d90b.tar.gz rust-cead47ca53a2c6bb0f774264131dccbc0936d90b.zip | |
Add a "match" relation that can be used to make recursion check during
trait matching more tailored. We now detect recursion where the obligations "match" -- meaning basically that they are the same for some substitution of any unbound type variables.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions