HIR Typecheck - Fix case where inferrence stalls when there's a `T = <T>::Assoc bound` and unsizing, should fix #62

1 files changed, 17 insertions, 0 deletions

diff --git a/samples/test/issue-mrustc-62.rs b/samples/test/issue-mrustc-62.rs
new file mode 100644
index 00000000..c319ad83
--- /dev/null
+++ b/samples/test/issue-mrustc-62.rs
@@ -0,0 +1,17 @@
+
+struct Struct;
+
+trait Trait {
+    type Assoc;
+}
+
+impl Trait for Struct {
+    type Assoc = Struct;
+}
+
+fn f<S>(_: &S) where S: Trait<Assoc = S> {}
+
+fn main() {
+    f(&Struct);
+}
+