diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-12-22 19:44:48 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2016-01-16 05:22:32 -0500 |
| commit | ecaa1cbc9c8bcb9a96312f1c017d347c89263094 (patch) | |
| tree | 332d5a6d532cc136b859218662fb3f4a5a47ab26 /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | 43756934d255603a0fb7a871f2a145380e488b71 (diff) | |
| download | rust-ecaa1cbc9c8bcb9a96312f1c017d347c89263094.tar.gz rust-ecaa1cbc9c8bcb9a96312f1c017d347c89263094.zip | |
enable coinductive reasoning for structural traits, this is
potentially just a stopgap measure
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions