Stream: wg-traits

Topics:

• documenting the recursive solver (40 messages, latest: Jun 06 2020 at 20:38)
• impl trait (416 messages, latest: Jun 06 2020 at 19:13)
• Placeholder invariants (4 messages, latest: Jun 06 2020 at 14:39)
• refactoring rustc predicates, a MCP (176 messages, latest: Jun 06 2020 at 13:50)
• hello (11 messages, latest: Jun 05 2020 at 17:28)
• publishing (228 messages, latest: Jun 05 2020 at 15:49)
• Closures (21 messages, latest: Jun 04 2020 at 22:45)
• reintegrating chalk into rustc (1661 messages, latest: Jun 04 2020 at 22:09)
• meeting 06.02.2020 (249 messages, latest: Jun 02 2020 at 21:07)
• extending Binder in rustc to include # of bound variables (44 messages, latest: Jun 02 2020 at 19:57)
• subtyping (31 messages, latest: Jun 01 2020 at 18:24)
• Generic Associated Types dependent on Chalk? (16 messages, latest: May 30 2020 at 18:36)
• coinduction in the recursive solver chalk#399 (117 messages, latest: May 29 2020 at 22:05)
• outlives goal chalk#451 (85 messages, latest: May 29 2020 at 21:06)
• skill tree (10 messages, latest: May 29 2020 at 20:18)
• thoughts on recursive solver, caching, and salsa (3 messages, latest: May 29 2020 at 11:02)
• More guidance for an ambiguous query (155 messages, latest: May 27 2020 at 22:02)
• int/literal inference variables (10 messages, latest: May 26 2020 at 22:31)
• Review for "split select into submodules" (2 messages, latest: May 26 2020 at 21:13)
• design meeting 2020.05.26 (222 messages, latest: May 26 2020 at 21:00)
• old intercrate mode? (4 messages, latest: May 26 2020 at 19:49)
• Fixing an overflow evaluating the requirement (2 messages, latest: May 26 2020 at 15:34)
• .chalk file writer (179 messages, latest: May 24 2020 at 13:06)
• Tracing doc (#409) (42 messages, latest: May 23 2020 at 18:10)
• moving the leak check to evaluation (51 messages, latest: May 22 2020 at 18:20)
• refactor CandidateKind (19 messages, latest: May 22 2020 at 17:36)
• Integration test for unwind safety (#407) (50 messages, latest: May 21 2020 at 06:33)
• design meeting 2020.05.19 (200 messages, latest: May 19 2020 at 21:01)
• Things to do (35 messages, latest: May 19 2020 at 16:44)
• recursive solver and chalk-solve seam (39 messages, latest: May 18 2020 at 21:30)
• ICE in docopt (3 messages, latest: May 18 2020 at 21:27)
• Sprint contributors (19 messages, latest: May 18 2020 at 17:53)
• design meeting 2020.05.12 (376 messages, latest: May 18 2020 at 10:29)
• being able to tell why a goal is not met (8 messages, latest: May 16 2020 at 07:59)
• const generics (299 messages, latest: May 14 2020 at 10:51)
• Supertrait limitations (2 messages, latest: May 14 2020 at 10:02)
• minutes (1 message, latest: May 14 2020 at 06:59)
• sprint blog posts (7 messages, latest: May 12 2020 at 22:00)
• sem-vs-syn-eq chalk#364 (140 messages, latest: May 12 2020 at 20:51)
• dyn implied bounds (12 messages, latest: May 11 2020 at 22:19)
• possible bug in error_reporting (4 messages, latest: May 07 2020 at 22:37)
• "overlapping" associated types (19 messages, latest: May 07 2020 at 17:04)
• failed to deploy (12 messages, latest: May 06 2020 at 19:12)
• leak check and hrtb in chalk (26 messages, latest: May 06 2020 at 15:44)
• starter issues, get 'em while they're hot (4 messages, latest: May 06 2020 at 10:13)
• design meeting 2020.05.05 (274 messages, latest: May 05 2020 at 21:28)
• Review and close chalk#161 and chalk#286 (3 messages, latest: May 05 2020 at 15:29)
• too-lazy normalization (33 messages, latest: May 04 2020 at 18:42)
• Unsize trait (32 messages, latest: May 01 2020 at 21:35)
• publishing to crates.io (19 messages, latest: Apr 30 2020 at 04:54)
• more sprint issues (111 messages, latest: Apr 29 2020 at 19:43)
• renames (32 messages, latest: Apr 29 2020 at 16:28)
• Issue #67738 (10 messages, latest: Apr 29 2020 at 13:32)
• linkcheck (8 messages, latest: Apr 29 2020 at 13:17)
• how chalk presents goals to rustc and rust-analyzer (5 messages, latest: Apr 28 2020 at 22:25)
• New contributor (245 messages, latest: Apr 28 2020 at 22:23)
• design meeting 2020.04.28 (296 messages, latest: Apr 28 2020 at 21:11)
• copy trait (29 messages, latest: Apr 28 2020 at 21:10)
• Looking to contribute (89 messages, latest: Apr 28 2020 at 11:08)
• Definition of SLG (5 messages, latest: Apr 25 2020 at 22:10)
• Chalk book address change. (13 messages, latest: Apr 25 2020 at 16:52)
• mdbook-mermaid (9 messages, latest: Apr 22 2020 at 23:03)
• design meeting 2020.04.21 (247 messages, latest: Apr 22 2020 at 02:24)
• recursive solver (191 messages, latest: Apr 21 2020 at 19:56)
• trait upcasting PR #60900 (8 messages, latest: Apr 21 2020 at 11:21)
• chalk book (4 messages, latest: Apr 19 2020 at 15:07)
• extend chalk TypeName with builtin types chalk#368 (51 messages, latest: Apr 19 2020 at 08:44)
• Wanna help finishing up #369 (76 messages, latest: Apr 17 2020 at 10:23)
• chalk high-level overview (11 messages, latest: Apr 17 2020 at 10:07)
• design meeting 2020.04.14 (380 messages, latest: Apr 14 2020 at 21:23)
• Contribution to chalk (96 messages, latest: Apr 14 2020 at 21:20)
• names of things (9 messages, latest: Apr 14 2020 at 08:45)
• Chalk-parse error (solved) (1 message, latest: Apr 12 2020 at 08:00)
• Chalk-parse and CRLF eol (9 messages, latest: Apr 12 2020 at 07:46)
• more issues (23 messages, latest: Apr 11 2020 at 17:33)
• extralogical reasoning (4 messages, latest: Apr 10 2020 at 21:20)
• design meeting 2020.04.07 (306 messages, latest: Apr 07 2020 at 21:05)
• introduce a Visit trait to go with Fold #333 (52 messages, latest: Apr 06 2020 at 20:06)
• lang items in tests (6 messages, latest: Apr 06 2020 at 20:04)
• extend chalk TypeName with builtin types #368 (2 messages, latest: Apr 06 2020 at 17:29)
• Vec<ProgramClause> chalk#369 (15 messages, latest: Apr 03 2020 at 19:13)
• object upcasting (1323 messages, latest: Apr 03 2020 at 17:17)
• rustc logging story (74 messages, latest: Apr 02 2020 at 09:35)
• Goal builder (2 messages, latest: Apr 01 2020 at 09:57)
• design meeting 2020.03.31 (247 messages, latest: Mar 31 2020 at 21:05)
• builtin traits (304 messages, latest: Mar 31 2020 at 19:31)
• skill-tree repository (2 messages, latest: Mar 31 2020 at 18:05)
• tracing in chalk (272 messages, latest: Mar 31 2020 at 17:54)
• TLS (24 messages, latest: Mar 30 2020 at 20:55)
• "skill tree" (15 messages, latest: Mar 30 2020 at 19:46)
• 2020 sprint 1 (168 messages, latest: Mar 28 2020 at 21:01)
• shared type library rust-lang/wg-traits#16 (4 messages, latest: Mar 27 2020 at 21:38)
• debruijn indices and bound variables chalk#334 (49 messages, latest: Mar 27 2020 at 18:44)
• tasks for newcomer (3 messages, latest: Mar 27 2020 at 05:08)
• perf of canonicalization in rustc (8 messages, latest: Mar 27 2020 at 01:44)
• adding context to TypeFamily chalk#328 (1259 messages, latest: Mar 26 2020 at 20:33)
• linting in Chalk (3 messages, latest: Mar 25 2020 at 20:32)
• (no topic) (37 messages, latest: Mar 25 2020 at 17:09)
• design meeting 2020.03.24 (251 messages, latest: Mar 24 2020 at 21:39)
• how to handle Debug (23 messages, latest: Mar 24 2020 at 20:00)
• triagebot (17 messages, latest: Mar 23 2020 at 21:54)
• design meeting 2020.03.17 (193 messages, latest: Mar 17 2020 at 21:08)
• design meeting 2020.03.10 (247 messages, latest: Mar 10 2020 at 21:05)
• issue triage and labels (70 messages, latest: Mar 09 2020 at 15:07)
• extracting examples from chalk (4 messages, latest: Mar 06 2020 at 16:36)
• design meeting 2020.03.03 (264 messages, latest: Mar 04 2020 at 20:23)
• removing dependency on intern (29 messages, latest: Mar 02 2020 at 16:59)
• chalk: introduce a Visit trait to go with Fold #333 (6 messages, latest: Mar 02 2020 at 16:37)
• Predicate refactor in rustc (3 messages, latest: Mar 02 2020 at 16:31)
• upcoming design meeting on chalk-ty (10 messages, latest: Mar 02 2020 at 16:11)
• chalk #333 (1 message, latest: Mar 01 2020 at 18:09)
• design meeting 2020.02.25 (202 messages, latest: Feb 25 2020 at 22:00)
• ambiguous literal fallback strangeness (3 messages, latest: Feb 25 2020 at 18:41)
• truncation (14 messages, latest: Feb 24 2020 at 22:18)
• availability (2 messages, latest: Feb 20 2020 at 15:23)
• publishing wg-traits repository (107 messages, latest: Feb 20 2020 at 14:40)
• debug output (40 messages, latest: Feb 14 2020 at 20:02)
• TyData::Placeholder (13 messages, latest: Feb 14 2020 at 20:00)
• adding context to TypeFamily (10 messages, latest: Feb 14 2020 at 19:24)
• design meetting 2020.02.11 (296 messages, latest: Feb 12 2020 at 15:09)
• goals and next steps (174 messages, latest: Feb 11 2020 at 19:10)
• leak-check removal (11 messages, latest: Feb 10 2020 at 21:02)
• engine book (2 messages, latest: Feb 07 2020 at 21:00)
• design meeting scheduling (38 messages, latest: Feb 06 2020 at 10:27)
• learning chalk (11 messages, latest: Jan 30 2020 at 00:00)
• Repl support for associated types (7 messages, latest: Jan 24 2020 at 03:34)
• leak check, regionck (27 messages, latest: Jan 18 2020 at 12:35)
• solve_limited (13 messages, latest: Jan 17 2020 at 17:09)
• coherence bypasses for traits #57893 (221 messages, latest: Jan 17 2020 at 16:07)
• panic: truncate extracted a pending value (56 messages, latest: Jan 14 2020 at 23:09)
• Alias enum (3 messages, latest: Jan 14 2020 at 21:19)
• design meeting 2020.01.13 (263 messages, latest: Jan 13 2020 at 20:10)
• overflow evaluating impl on wrapped type (1 message, latest: Jan 12 2020 at 21:30)
• ambiguous answer replacement (61 messages, latest: Jan 10 2020 at 19:04)
• rustc integration based on chalk-solve (7 messages, latest: Jan 08 2020 at 18:51)
• lazy-normalization and const generics (45 messages, latest: Jan 07 2020 at 06:37)
• subgoal_cycle_uninhabited (17 messages, latest: Jan 06 2020 at 21:22)
• an approximate solver for chalk? (17 messages, latest: Jan 06 2020 at 20:36)
• QuantifiedApply (51 messages, latest: Jan 06 2020 at 20:14)
• design meeting 2020.01.06 (193 messages, latest: Jan 06 2020 at 20:04)
• 'clear_strands_after_cycle invoked on strand in table withou (3 messages, latest: Jan 06 2020 at 16:07)
• Solver caching (4 messages, latest: Jan 06 2020 at 14:11)
• design meeting 2019.12.30 (162 messages, latest: Dec 31 2019 at 00:04)
• the meaning of not (24 messages, latest: Dec 25 2019 at 01:29)
• associated types and normalization (7 messages, latest: Dec 24 2019 at 11:31)
• design meeting 2019.12.23 (6 messages, latest: Dec 23 2019 at 20:08)
• regions and universes (156 messages, latest: Dec 23 2019 at 11:34)
• Handling of unresolved where clauses (9 messages, latest: Dec 23 2019 at 11:21)
• visualizing the chalk-ir (70 messages, latest: Dec 21 2019 at 11:48)
• Inference with integer variables (12 messages, latest: Dec 19 2019 at 22:04)
• design meeting 2019.12.16 (205 messages, latest: Dec 16 2019 at 21:41)
• coinduction unsoundness (334 messages, latest: Dec 16 2019 at 20:03)
• Question (10 messages, latest: Dec 13 2019 at 13:42)
• Reproducing Chalk problems (7 messages, latest: Dec 12 2019 at 19:29)
• Issue cleanup and triage (8 messages, latest: Dec 12 2019 at 18:24)
• design meeting 2019.12.09 (231 messages, latest: Dec 09 2019 at 20:08)
• chalk guide (16 messages, latest: Dec 06 2019 at 23:22)
• fuel friendly branch (47 messages, latest: Dec 06 2019 at 23:21)
• Updating minutes in wg-traits repo (3 messages, latest: Dec 04 2019 at 20:27)
• Implied bounds for impl Trait (1 message, latest: Dec 04 2019 at 11:53)
• design meeting 2019.12.02 (62 messages, latest: Dec 03 2019 at 03:01)
• inference on multiple conflicting traits in scope (4 messages, latest: Dec 02 2019 at 20:52)
• Stress testing for chalk (1 message, latest: Nov 24 2019 at 09:23)
• Review #65989 (1 message, latest: Nov 24 2019 at 08:58)
• infinite stack growth in chalk (96 messages, latest: Nov 23 2019 at 00:41)
• Adding Id's to TypeFamily (20 messages, latest: Nov 22 2019 at 20:31)
• WG checkin notes (2 messages, latest: Nov 21 2019 at 13:10)
• publishing chalk rustdocs (16 messages, latest: Nov 19 2019 at 17:39)
• rustc-chalk integration, take 2 (210 messages, latest: Nov 18 2019 at 20:07)
• plans and the next 2 weeks (4 messages, latest: Nov 18 2019 at 18:41)
• 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)
• dyn and impl trait support chalk#218 (160 messages, latest: Nov 11 2019 at 20:54)
• 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)
• 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)