Update minutes

Author: jackh726

minutes/design-2019-12-09.md

@@ -0,0 +1,17 @@
+# traits design meeting 2019.12.09
+
+## topic
+
+rust-analyzer infinite loop, associated type normalization
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182987877)
+
+## summary
+
+Key points in the discussion:
+* [separating *unification* from *type relation*](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182988478)
+ - [where does this come up](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182988918)
+* [how does the infinite loop happen](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182990322)
+* [existing PR: don't truncate environment](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182990731)
+* [associated type normalization](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E09/near/182991633)
+

minutes/design-2019-12-16.md

@@ -0,0 +1,19 @@
+# traits design meeting 2019.12.16
+
+## topic
+
+Associated types and normalization
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183576530)
+
+## summary
+
+Key points in the discussion:
+* [chalk book and what it should cover](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183579289)
+* [why are there both `Normalize` and `ProjectionEq`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183580571)
+* [A potential solution to generating the "extra" fallback type](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183581540)
+* [What is wrong with the current design](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183582215)
+* [design question: should Chalk "guess" about the associated type if there are inference variables](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183582802)
+* [Niko has been trying to remove unnormalized types](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183583970)
+* [Directions to explore](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E16/near/183584430)
+