Topics:
- lazy-normalization and const generics (29 messages, latest: Nov 15 2019 at 01:29)
- coherence bypasses for traits #57893 (195 messages, latest: Nov 14 2019 at 18:50)
- coinduction unsoundness (192 messages, latest: Nov 14 2019 at 17:58)
- object upcasting (1286 messages, latest: Nov 14 2019 at 16:59)
- publishing chalk rustdocs (8 messages, latest: Nov 14 2019 at 10:30)
- unification under binders (88 messages, latest: Nov 13 2019 at 14:29)
- non-recursive ensure_answer (79 messages, latest: Nov 12 2019 at 03:50)
- infinite stack growth in chalk (84 messages, latest: Nov 11 2019 at 23:39)
- dyn and impl trait support chalk#218 (160 messages, latest: Nov 11 2019 at 20:54)
- chalk guide (7 messages, latest: Nov 11 2019 at 20:47)
- design meeting 2019.11.11 (149 messages, latest: Nov 11 2019 at 19:57)
- design meeting 2019.11.04 (153 messages, latest: Nov 04 2019 at 20:13)
- simplify chalk context trait and logic-engine #255 (95 messages, latest: Nov 04 2019 at 19:01)
- Removing delayed literals (107 messages, latest: Oct 30 2019 at 02:09)
- desugaring projections in chalk (6 messages, latest: Oct 29 2019 at 19:16)
- design meeting 2019.10.28 (140 messages, latest: Oct 28 2019 at 18:59)
- being generic over types (78 messages, latest: Oct 27 2019 at 13:48)
- clause-builder (15 messages, latest: Oct 26 2019 at 14:32)
- regions and generators #64552 (3 messages, latest: Oct 25 2019 at 22:24)
- nightly travis fails on chalk (2 messages, latest: Oct 24 2019 at 08:25)
- meeting 2019-10-21 (170 messages, latest: Oct 22 2019 at 00:30)
- organizing going forward (45 messages, latest: Oct 16 2019 at 21:04)
- meeting 2019-10-16 (138 messages, latest: Oct 16 2019 at 19:09)
- refactor types #42340 (16 messages, latest: Oct 08 2019 at 17:02)
- Logic panics (15 messages, latest: Oct 08 2019 at 09:28)
- unification of const values (6 messages, latest: Oct 07 2019 at 23:21)
- Make GAT trait lifetimes late-bound - PR #64756 (2 messages, latest: Oct 03 2019 at 13:27)
- lazy normalization in chalk (2 messages, latest: Sep 23 2019 at 21:22)
- specialization (80 messages, latest: Sep 23 2019 at 20:42)
- coherence for function bodies (13 messages, latest: Sep 20 2019 at 20:37)
- #57893 (1 message, latest: Sep 13 2019 at 03:42)
- publishing chalk (15 messages, latest: Sep 09 2019 at 19:32)
- lazy-normalization (42 messages, latest: Sep 09 2019 at 19:20)
- chalk, rust-analyzer next steps (7 messages, latest: Sep 09 2019 at 18:00)
- updating rustc past 0.9.0 (2 messages, latest: Sep 03 2019 at 23:10)
- rust-analyzer sync (25 messages, latest: Aug 30 2019 at 17:48)
- floundering (8 messages, latest: Aug 30 2019 at 06:48)
- Associated type normalization (6 messages, latest: Aug 23 2019 at 18:15)
- coinductive all the way (25 messages, latest: Aug 21 2019 at 22:43)
- pr #61919 (6 messages, latest: Jul 13 2019 at 00:46)
- meeting 2019.07.08 (6 messages, latest: Jul 08 2019 at 23:12)
- meeting 2019.07.01 (10 messages, latest: Jul 01 2019 at 21:59)
- meeting 2019.06.24 (12 messages, latest: Jun 24 2019 at 18:26)
- rust-lang/chalk#230 (45 messages, latest: Jun 24 2019 at 18:23)
- meeting 2019.06.10 (41 messages, latest: Jun 17 2019 at 21:24)
- chalk roadmap (175 messages, latest: Jun 10 2019 at 15:16)
- chalk crates (170 messages, latest: Jun 07 2019 at 18:55)
- associate type bounds (367 messages, latest: Jun 05 2019 at 20:25)
- meeting 2019.06.03 (38 messages, latest: Jun 03 2019 at 18:22)
- nested quantification error (38 messages, latest: May 31 2019 at 21:11)
- Question about generic associated lifetime (4 messages, latest: May 31 2019 at 18:41)
- Issue #60619 (3 messages, latest: May 28 2019 at 15:06)
- meeting 2019.05.27 (5 messages, latest: May 27 2019 at 13:15)
- test organization (7 messages, latest: May 17 2019 at 17:48)
- meeting 2019.05.13 (5 messages, latest: May 13 2019 at 18:42)
- chalk-engine lecture 2019.05.06 (106 messages, latest: May 08 2019 at 21:34)
- incremental improvement to rustc (1 message, latest: May 07 2019 at 18:01)
- meeting 2019.05.06 (80 messages, latest: May 07 2019 at 00:06)
- lazy normalization (37 messages, latest: May 06 2019 at 21:20)
- coinduction bug (8 messages, latest: May 06 2019 at 20:57)
- chalk tests on nightly chalk#220 (30 messages, latest: May 04 2019 at 14:19)
- specialization first step chalk#219 (35 messages, latest: May 04 2019 at 10:25)
- design meeting 2019.05.03 (1 message, latest: May 03 2019 at 18:24)
- weekly design chat / lecture hour (12 messages, latest: May 03 2019 at 18:22)
- caching cycles #60010 (7 messages, latest: May 01 2019 at 16:19)
- meeting 2019.04.29 (147 messages, latest: Apr 29 2019 at 23:13)
- crate hierarchy (2 messages, latest: Apr 29 2019 at 19:38)
- chalkify builtin impls (1 message, latest: Apr 25 2019 at 19:41)
- re. coherence (17 messages, latest: Apr 25 2019 at 16:40)
- SLG and the chalk-engine crate (20 messages, latest: Apr 23 2019 at 22:01)
- intersection type (59 messages, latest: Apr 23 2019 at 17:28)
- roadmap planning (6 messages, latest: Apr 22 2019 at 21:13)
- meeting 2019-04-22 (105 messages, latest: Apr 22 2019 at 18:36)
- object safe for dispatch #57545 (122 messages, latest: Apr 19 2019 at 19:40)
- assoc types in inherent impls (24 messages, latest: Apr 17 2019 at 16:19)
- how do inductive + co-inductive reasoning interact? #60010 (2 messages, latest: Apr 17 2019 at 10:30)
- specialization sync (3 messages, latest: Apr 16 2019 at 16:32)
- meeting 2019-04-15 (198 messages, latest: Apr 15 2019 at 19:29)
- #59008 changes to infer (4 messages, latest: Apr 13 2019 at 08:59)
- refactoring chalk (15 messages, latest: Apr 12 2019 at 12:38)
- meeting 2019-04-08 (22 messages, latest: Apr 08 2019 at 22:21)
- RPIT Lifetime issues (224 messages, latest: Apr 03 2019 at 17:04)
- lurking (12 messages, latest: Apr 01 2019 at 18:13)
- paired associated type & method specialization (11 messages, latest: Apr 01 2019 at 16:43)
- Minimal Specialization (21 messages, latest: Mar 26 2019 at 21:16)
- weekly meeting 2019-03-25 (65 messages, latest: Mar 25 2019 at 18:22)
- chalk-integration (222 messages, latest: Mar 22 2019 at 21:43)
- region constraints (19 messages, latest: Mar 22 2019 at 21:22)
- renaming this stream (7 messages, latest: Mar 22 2019 at 20:42)
- welcome (2 messages, latest: Mar 22 2019 at 20:42)
- updating the working group page (13 messages, latest: Mar 20 2019 at 19:32)
- #58305 "small fixes to chalk" PR (90 messages, latest: Mar 20 2019 at 19:17)
- chalk-rustc integration discussion (70 messages, latest: Mar 20 2019 at 18:57)
- refactoring local vs external in chalk (6 messages, latest: Mar 20 2019 at 18:11)
- Idea: Regular Design Meetings (43 messages, latest: Mar 19 2019 at 22:47)
- meeting 2019-03-18 (388 messages, latest: Mar 19 2019 at 19:02)
- establishing a sprint cadence (30 messages, latest: Mar 18 2019 at 17:13)
- Planning meeting doc archived (6 messages, latest: Mar 18 2019 at 17:11)
- Issue #34426 help (1 message, latest: Mar 16 2019 at 17:28)
- GATs and closure traits (3 messages, latest: Mar 12 2019 at 23:39)
- wg-traits repository (11 messages, latest: Mar 12 2019 at 17:54)
- trait aliases in trait objects (2 messages, latest: Mar 11 2019 at 21:33)
- weeky meeting 2019-03-11 (107 messages, latest: Mar 11 2019 at 20:46)
- (no topic) (1 message, latest: Mar 11 2019 at 20:43)
- GAT use-case analysis (68 messages, latest: Mar 10 2019 at 10:04)
- alexreg - nmatsakis sync (178 messages, latest: Mar 08 2019 at 22:54)
- Generic bounds & closures (4 messages, latest: Mar 06 2019 at 22:21)
- weekly meeting 2019-03-04 (115 messages, latest: Mar 05 2019 at 19:05)
- weekly meeting 2019-02-25 (113 messages, latest: Mar 04 2019 at 19:13)
- dropbox paper permissions (27 messages, latest: Feb 25 2019 at 20:08)
- monday meetings (26 messages, latest: Feb 25 2019 at 19:52)
- alexreg sync (78 messages, latest: Feb 25 2019 at 17:08)
- structure of the working group (202 messages, latest: Feb 22 2019 at 22:47)
- implied bounds bug (8 messages, latest: Feb 22 2019 at 21:18)
- reverting universes (164 messages, latest: Feb 22 2019 at 12:43)
- #58451 ICE related to lifetimes and traits (101 messages, latest: Feb 21 2019 at 14:24)
- #46989 fn pointers and universes (84 messages, latest: Feb 20 2019 at 12:16)
- universes and #57639 (469 messages, latest: Feb 18 2019 at 02:39)
- weekly meeting 2019-02-11 (135 messages, latest: Feb 12 2019 at 15:56)
- will specialization allow From of generics? (11 messages, latest: Feb 12 2019 at 02:35)
- #53984 Associated types don't resolve properly (2 messages, latest: Feb 04 2019 at 19:45)
- #57843 universe-related ICE (161 messages, latest: Feb 01 2019 at 15:38)
- questions from Stack Overflow (24 messages, latest: Jan 31 2019 at 20:54)
- all hands (8 messages, latest: Jan 30 2019 at 22:08)
- #41517 trait aliases (932 messages, latest: Jan 29 2019 at 21:42)
- weekly meeting 2019-01-28 (81 messages, latest: Jan 28 2019 at 20:00)
- implied-bounds-flaw (14 messages, latest: Jan 23 2019 at 20:20)
- alternate implied bounds lowering (45 messages, latest: Jan 23 2019 at 16:40)
- bikeshedding "well formed" (47 messages, latest: Jan 23 2019 at 14:36)
- weekly meeting 2019-01-21 (206 messages, latest: Jan 22 2019 at 20:07)
- salsa in chalk (18 messages, latest: Jan 22 2019 at 17:40)
- technical deep dive (9 messages, latest: Jan 20 2019 at 19:03)
- captures-trait (47 messages, latest: Jan 18 2019 at 21:21)
- associate type bounds and for (4 messages, latest: Jan 17 2019 at 18:08)
- chalk #80 smarter subgoal selection (62 messages, latest: Jan 14 2019 at 20:19)
- weekly meeting 2019-01-14 (141 messages, latest: Jan 14 2019 at 20:01)
- scalexm's trait object thoughts (62 messages, latest: Jan 09 2019 at 21:39)
- chalk cargo fmt (3 messages, latest: Jan 09 2019 at 13:51)
- trait alias expansion (14 messages, latest: Jan 08 2019 at 22:49)
- traits video chat (74 messages, latest: Jan 08 2019 at 22:39)
- Q: union find data structures (38 messages, latest: Jan 08 2019 at 01:29)
- weekly meeting 2019-01-07 (212 messages, latest: Jan 07 2019 at 20:55)
- get everything right before we merge (1 message, latest: Jan 07 2019 at 19:59)
- universe transition (53 messages, latest: Jan 02 2019 at 22:17)
- weekly meeting 2018-12-31 (1 message, latest: Dec 31 2018 at 15:44)
- extern existential type(rfc2492) (3 messages, latest: Dec 26 2018 at 18:09)
- weekly meeting 2018-12-17 (164 messages, latest: Dec 17 2018 at 20:27)
- Trait object upcast (113 messages, latest: Dec 13 2018 at 21:14)
- impl-trait-in-bindings (239 messages, latest: Dec 13 2018 at 19:57)
- weekly meeting 2018-12-10 (3 messages, latest: Dec 10 2018 at 16:31)
- #56384 chalk integration PR (2 messages, latest: Dec 06 2018 at 16:07)
- weekly meeting 2018-12-03 (6 messages, latest: Dec 03 2018 at 22:10)
- weekly meeting 2018-11-26 (24 messages, latest: Dec 03 2018 at 17:15)
- unification in chalk (69 messages, latest: Nov 28 2018 at 15:36)
- performance regression from universes (89 messages, latest: Nov 27 2018 at 23:12)
- weekly meeting 2018-11-19 (127 messages, latest: Nov 20 2018 at 20:29)
- high-level docs (123 messages, latest: Nov 20 2018 at 19:08)
- weekly meeting 2018-11-12 (43 messages, latest: Nov 16 2018 at 17:10)
- escaping lifetimes in impl trait (3 messages, latest: Nov 15 2018 at 19:22)
- #55097 lifetime juggling (13 messages, latest: Nov 15 2018 at 18:23)
- GATs-status (20 messages, latest: Nov 12 2018 at 23:25)
- is_coinductive (2 messages, latest: Nov 12 2018 at 19:07)
- Lost write permission on Rust repo (10 messages, latest: Nov 07 2018 at 10:36)
- weekly meeting 2018-11-05 (1 message, latest: Nov 05 2018 at 18:35)
- bound-tys (121 messages, latest: Nov 02 2018 at 21:24)
- implied-bounds (156 messages, latest: Nov 02 2018 at 20:43)
- #50753 using evaluation in unsized coercion (7 messages, latest: Nov 02 2018 at 18:21)
- weekly meeting 2018-10-29 (109 messages, latest: Oct 29 2018 at 18:51)
- #55096 is_coinductive callback (7 messages, latest: Oct 29 2018 at 17:53)
- meeting 2018-10-22 (64 messages, latest: Oct 22 2018 at 20:28)
- type aliases and implied bounds (56 messages, latest: Oct 22 2018 at 19:09)
- chalk#176 (41 messages, latest: Oct 17 2018 at 13:34)
- ena in chalk (10 messages, latest: Oct 16 2018 at 17:01)
- #55040 (3 messages, latest: Oct 16 2018 at 14:38)
- weekly meeting 2018-10-15 (81 messages, latest: Oct 15 2018 at 19:44)
- planning meeting 2018-10-10 (7 messages, latest: Oct 11 2018 at 18:28)
- planning meeting 2018-10-09 (133 messages, latest: Oct 10 2018 at 00:34)
- weekly meeting 2018-10-08 (120 messages, latest: Oct 09 2018 at 14:05)
- program-clauses callback (112 messages, latest: Oct 09 2018 at 13:51)
- rejuvenate the weekly meeting (14 messages, latest: Oct 08 2018 at 18:31)
- chalk-engine-v0.8.0 (6 messages, latest: Oct 05 2018 at 21:49)
- note about muting (1 message, latest: Oct 05 2018 at 16:20)
- hello (6 messages, latest: Oct 05 2018 at 16:19)
Last update: Nov 15 2019 at 09:40UTC