]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b625d43) | patch
Avoid ever constructing cyclic types in the first place, rather than detecting them...
authorNiko Matsakis <niko@alum.mit.edu>
Tue, 9 Sep 2014 21:45:51 +0000 (17:45 -0400)
committerNiko Matsakis <niko@alum.mit.edu>
Tue, 9 Sep 2014 22:33:07 +0000 (18:33 -0400)
commitc4d56b7ee734359e7b6be73eff4596367b645d62
tree1d63c9136ea80903b1f141aa2e7241f44daae9cetree | snapshot
parentb625d43f8fd2e9a800ca8a419f7d3f5f52604205commit | diff
Avoid ever constructing cyclic types in the first place, rather than detecting them in resolve. This simplifies logic elsewhere in the compiler. cc #5527
src/librustc/middle/ty.rs diff | blob | history
src/librustc/middle/typeck/infer/combine.rs diff | blob | history
src/librustc/middle/typeck/infer/mod.rs diff | blob | history
src/librustc/middle/typeck/infer/resolve.rs diff | blob | history
src/test/compile-fail/occurs-check-2.rs [new file with mode: 0644] blob
src/test/compile-fail/occurs-check.rs diff | blob | history
Empowering everyone to build reliable and efficient software.