diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2015-12-22 19:44:01 -0500 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2016-01-14 13:00:10 -0500 |
| commit | 43756934d255603a0fb7a871f2a145380e488b71 (patch) | |
| tree | 9a5ec028fe2cf55ba126ba65f5d042d1f8432981 /src/rustllvm/ExecutionEngineWrapper.cpp | |
| parent | 0defb158aa77e9002dfa836cec005ea5d12200a2 (diff) | |
| download | rust-43756934d255603a0fb7a871f2a145380e488b71.tar.gz rust-43756934d255603a0fb7a871f2a145380e488b71.zip | |
switch the fulfillment context to use the new obligation forest;
this commit won't build because, as of this version, no coinductive reasoning at all is really supported
Diffstat (limited to 'src/rustllvm/ExecutionEngineWrapper.cpp')
0 files changed, 0 insertions, 0 deletions