From: bors <bors@rust-lang.org>
Date: Thu, 11 Sep 2014 12:20:43 +0000 (+0000)
Subject: auto merge of #17157 : nikomatsakis/rust/occurs-check, r=pcwalton
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c8b0d667c30e0918714ac178edaed883c6a8132a;p=rust.git

auto merge of #17157 : nikomatsakis/rust/occurs-check, r=pcwalton

Avoid ever constructing cyclic types in the first place, rather than detecting them in resolve. This simplifies logic elsewhere in the compiler, in particular on the trait reform branch.

r? @pnkfelix or @pcwalton

cc #5527
---

c8b0d667c30e0918714ac178edaed883c6a8132a