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/librustc/lib.rs | |
| 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/librustc/lib.rs')
| -rw-r--r-- | src/librustc/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc/lib.rs b/src/librustc/lib.rs index 8a4790c17a4..8f0ccbd4461 100644 --- a/src/librustc/lib.rs +++ b/src/librustc/lib.rs @@ -122,6 +122,7 @@ pub mod middle { pub mod traits; pub mod ty; pub mod ty_fold; + pub mod ty_match; pub mod ty_relate; pub mod ty_walk; pub mod weak_lang_items; |