]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0defb15) | patch
switch the fulfillment context to use the new obligation forest;
authorNiko Matsakis <niko@alum.mit.edu>
Wed, 23 Dec 2015 00:44:01 +0000 (19:44 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Thu, 14 Jan 2016 18:00:10 +0000 (13:00 -0500)
commit43756934d255603a0fb7a871f2a145380e488b71
tree9a5ec028fe2cf55ba126ba65f5d042d1f8432981tree | snapshot
parent0defb158aa77e9002dfa836cec005ea5d12200a2commit | diff
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
src/librustc/middle/traits/fulfill.rs diff | blob | history
Empowering everyone to build reliable and efficient software.