]> git.lizzy.rs Git - rust.git/commit
enable coinductive reasoning for structural traits, this is
authorNiko Matsakis <niko@alum.mit.edu>
Wed, 23 Dec 2015 00:44:48 +0000 (19:44 -0500)
committerNiko Matsakis <niko@alum.mit.edu>
Sat, 16 Jan 2016 10:22:32 +0000 (05:22 -0500)
commitecaa1cbc9c8bcb9a96312f1c017d347c89263094
tree332d5a6d532cc136b859218662fb3f4a5a47ab26
parent43756934d255603a0fb7a871f2a145380e488b71
enable coinductive reasoning for structural traits, this is
potentially just a stopgap measure
src/librustc/middle/traits/fulfill.rs