Stream: wg-traits

Topics:

gats and async (1 message, latest: May 08 2021 at 18:57)
auto trait unsoundness (143 messages, latest: May 07 2021 at 19:33)
GAT Bugs #76826, #76407 (383 messages, latest: May 07 2021 at 17:57)
daily sync topic selection (200 messages, latest: May 07 2021 at 13:21)
two chalk solvers (58 messages, latest: May 07 2021 at 13:00)
marker_trait_attr stabilization (148 messages, latest: May 05 2021 at 20:30)
PR #77325 (7 messages, latest: May 05 2021 at 16:44)
generalizing wg-traits (31 messages, latest: May 05 2021 at 15:46)
ProjectionCache (14 messages, latest: May 05 2021 at 13:15)
ProjectCache (5 messages, latest: May 05 2021 at 12:29)
meeting 2021-05-04 (21 messages, latest: May 04 2021 at 19:40)
Playing with chalk-based rustc (6 messages, latest: May 02 2021 at 21:09)
coinductive sized (37 messages, latest: May 01 2021 at 16:10)
WF bounds in trait declarations (18 messages, latest: May 01 2021 at 08:23)
Duplicate symbol error #84604 (189 messages, latest: Apr 30 2021 at 16:54)
meeting 2021-04-27 (117 messages, latest: Apr 28 2021 at 19:29)
generator witness erasure #83737 (53 messages, latest: Apr 28 2021 at 14:20)
GeneratorWitness (13 messages, latest: Apr 28 2021 at 13:25)
async fn in traits daily topics (7 messages, latest: Apr 26 2021 at 15:53)
GATs tests (28 messages, latest: Apr 26 2021 at 12:37)
PR #84377 (89 messages, latest: Apr 23 2021 at 17:32)
Recursive cow enum (11 messages, latest: Apr 23 2021 at 17:12)
member constraints in region inference (1 message, latest: Apr 22 2021 at 14:28)
symbol manging #83611 (76 messages, latest: Apr 22 2021 at 14:21)
Chalk book modeling orphan check (61 messages, latest: Apr 21 2021 at 21:36)
publish failed (81 messages, latest: Apr 21 2021 at 20:57)
HRTB with early bound lifetimes (40 messages, latest: Apr 21 2021 at 01:18)
PR #83915 (76 messages, latest: Apr 20 2021 at 23:24)
meeting 2021-04-20 (210 messages, latest: Apr 20 2021 at 22:13)
Issue #83737 (544 messages, latest: Apr 19 2021 at 17:13)
incremental caching, coinduction #83913 (87 messages, latest: Apr 15 2021 at 13:56)
Trait solver in Coq (9 messages, latest: Apr 14 2021 at 05:25)
meeting 2021-04-13 (160 messages, latest: Apr 13 2021 at 21:08)
Normalize associated types while unsizing #75899 (1 message, latest: Apr 10 2021 at 06:43)
meeting 2021-04-06 (15 messages, latest: Apr 06 2021 at 20:06)
type library discussion (373 messages, latest: Apr 05 2021 at 13:31)
binder refactor (1156 messages, latest: Apr 05 2021 at 13:29)
coinduction (238 messages, latest: Apr 02 2021 at 13:43)
specialization (85 messages, latest: Mar 31 2021 at 19:12)
meeting 2021-03-30 (250 messages, latest: Mar 30 2021 at 21:02)
Sized is not an autotrait (47 messages, latest: Mar 29 2021 at 17:44)
calendar events (5 messages, latest: Mar 29 2021 at 14:12)
recursive solver, how it works (30 messages, latest: Mar 29 2021 at 14:05)
Functions in Chalk (213 messages, latest: Mar 25 2021 at 21:52)
Moving TyEncodable/TyDecodable to rustc_typeir (239 messages, latest: Mar 23 2021 at 21:52)
meeting 2021-03-23 (204 messages, latest: Mar 23 2021 at 21:04)
representation of type parameters (4 messages, latest: Mar 19 2021 at 15:36)
meeting 2021-03-16 (190 messages, latest: Mar 16 2021 at 21:02)
Chalk well foundedness explanation (2 messages, latest: Mar 13 2021 at 15:34)
assoc const (13 messages, latest: Mar 12 2021 at 13:45)
Rustc lazy norm (73 messages, latest: Mar 12 2021 at 10:52)
bors weirdness (3 messages, latest: Mar 10 2021 at 22:17)
Binder<'tcx, T> -> Binder<T: CanBeBound> (22 messages, latest: Mar 10 2021 at 21:59)
meeting 2021-03-09 (232 messages, latest: Mar 10 2021 at 14:39)
investigating obligations blowup (60 messages, latest: Mar 09 2021 at 22:41)
specialization: exclude traits or types (9 messages, latest: Mar 07 2021 at 01:03)
meeting 2021-03-02 (70 messages, latest: Mar 04 2021 at 16:46)
impl trait stabilization and so forth (10 messages, latest: Mar 01 2021 at 17:03)
hrtb (8 messages, latest: Feb 28 2021 at 13:59)
rustc binder refactor (540 messages, latest: Feb 24 2021 at 03:10)
meeting 2021-02-23 (99 messages, latest: Feb 24 2021 at 01:10)
meeting 2021-02-16 (271 messages, latest: Feb 16 2021 at 22:34)
meeting 2021-02-09 (342 messages, latest: Feb 12 2021 at 14:13)
GATs triage (32 messages, latest: Feb 11 2021 at 17:26)
gat elided lifetimes (5 messages, latest: Feb 10 2021 at 12:37)
meeting 2021-02-02 (335 messages, latest: Feb 05 2021 at 18:17)
type_alias_impl_trait triage (11 messages, latest: Feb 04 2021 at 00:37)
things to do (80 messages, latest: Feb 02 2021 at 18:09)
Ambiguous WF Results (33 messages, latest: Feb 01 2021 at 17:31)
Canonical env problems (27 messages, latest: Feb 01 2021 at 15:12)
meeting 2021-01-26 (217 messages, latest: Jan 26 2021 at 22:00)
meeting 2021-01-19 (98 messages, latest: Jan 23 2021 at 00:17)
About the recursive solver (28 messages, latest: Jan 15 2021 at 18:29)
Closure substitution in tests (4 messages, latest: Jan 15 2021 at 17:13)
meeting 2021-01-12 (225 messages, latest: Jan 12 2021 at 22:08)
meeting 2021-01-05 (11 messages, latest: Jan 05 2021 at 21:19)
PredicateKind::Atom removal (51 messages, latest: Jan 04 2021 at 07:03)
rustc test suite triage (64 messages, latest: Jan 01 2021 at 19:11)
AliasEq vs ProjectionEq questions (8 messages, latest: Dec 23 2020 at 16:39)
meeting 2020-12-15 (27 messages, latest: Dec 15 2020 at 21:24)
Existential trait ref in rustc (48 messages, latest: Dec 14 2020 at 21:38)
Perf (1 message, latest: Dec 10 2020 at 19:04)
Looking to get involved (19 messages, latest: Dec 10 2020 at 15:14)
Development in the near future (3 messages, latest: Dec 10 2020 at 09:39)
issue #79807 (2 messages, latest: Dec 10 2020 at 01:18)
meeting 2020-12-08 (11 messages, latest: Dec 08 2020 at 20:57)
meeting 2020-12-01 (37 messages, latest: Dec 01 2020 at 21:28)
chalk#658 (5 messages, latest: Nov 30 2020 at 23:01)
Wellformed Placeholder Types (1 message, latest: Nov 30 2020 at 21:25)
negative impls (249 messages, latest: Nov 30 2020 at 14:59)
impl trait vs explicit trait bounds (10 messages, latest: Nov 25 2020 at 18:43)
why does chalk_ir::LifetimeData::Phantom exist (4 messages, latest: Nov 25 2020 at 11:04)
next week (2 messages, latest: Nov 19 2020 at 22:08)
meeting 2020-11-17 (178 messages, latest: Nov 17 2020 at 21:55)
negative bounds (11 messages, latest: Nov 17 2020 at 21:05)
Experimenting with covariant associated types. (8 messages, latest: Nov 17 2020 at 08:37)
fold by value (13 messages, latest: Nov 16 2020 at 21:46)
publishing (370 messages, latest: Nov 15 2020 at 02:27)
Variance & GAT? (40 messages, latest: Nov 13 2020 at 13:46)
Error in non concrete case only? (21 messages, latest: Nov 13 2020 at 10:29)
meeting 2020-11-10 (6 messages, latest: Nov 10 2020 at 22:44)
Variance & Generalizer work (156 messages, latest: Nov 10 2020 at 21:01)
representing one of two traits (3 messages, latest: Nov 06 2020 at 00:17)
meeting 2020-11-03 (173 messages, latest: Nov 05 2020 at 11:29)
Default for array (8 messages, latest: Nov 04 2020 at 09:16)
Interested in contributing (39 messages, latest: Oct 30 2020 at 17:03)
thanks for the great post, niko! (1 message, latest: Oct 29 2020 at 22:59)
meeting 2020-10-27 (259 messages, latest: Oct 29 2020 at 18:09)
Chalk/rustc lifetime parity (6 messages, latest: Oct 27 2020 at 20:22)
Lifetime capturing in impl Trait (13 messages, latest: Oct 26 2020 at 15:54)
parse error for struct i32 (12 messages, latest: Oct 23 2020 at 07:33)
mdbook generating near-empty file (8 messages, latest: Oct 23 2020 at 07:20)
Chalk refactoring, oh my (13 messages, latest: Oct 22 2020 at 03:47)
meeting 2020-10-20 (258 messages, latest: Oct 20 2020 at 21:57)
Interned sequences are expensive (8 messages, latest: Oct 20 2020 at 19:53)
Obligation processing (6 messages, latest: Oct 19 2020 at 02:17)
Datalog, Polonius, Chalk? (3 messages, latest: Oct 16 2020 at 22:02)
sem-vs-syn-eq chalk#364 (166 messages, latest: Oct 16 2020 at 07:01)
meeting 2020-10-13 (9 messages, latest: Oct 14 2020 at 14:08)
Tiny contribution (18 messages, latest: Oct 09 2020 at 21:58)
New release (3 messages, latest: Oct 07 2020 at 15:45)
meeting 2020-10-06 (233 messages, latest: Oct 06 2020 at 21:00)
trait alias (13 messages, latest: Oct 06 2020 at 20:06)
chalk-engine mdbook links (4 messages, latest: Oct 04 2020 at 20:47)
type alias (3 messages, latest: Oct 04 2020 at 18:55)
generator pr chalk#593 (7 messages, latest: Sep 29 2020 at 23:26)
meeting 2020-09-29 (196 messages, latest: Sep 29 2020 at 20:51)
fundamental and coherence (5 messages, latest: Sep 29 2020 at 20:33)
Recent breakage in recursive solver (19 messages, latest: Sep 28 2020 at 18:00)
Upgrading chalk version in rustc (22 messages, latest: Sep 27 2020 at 16:35)
meeting 2020-09-22 (229 messages, latest: Sep 22 2020 at 20:57)
Advice for auto traits (134 messages, latest: Sep 21 2020 at 15:28)
Advice for "Support extern opaque types" (100 messages, latest: Sep 16 2020 at 13:12)
meeting 2020-09-15 (231 messages, latest: Sep 15 2020 at 21:00)
solver state (5 messages, latest: Sep 14 2020 at 20:47)
dyn X + 'a isn't well-formed (5 messages, latest: Sep 14 2020 at 20:38)
Advice for "Extend well-known traits by Unpin" (63 messages, latest: Sep 09 2020 at 21:06)
meeting 2020-09-08 (193 messages, latest: Sep 09 2020 at 07:42)
meeting 09.08.2020 (56 messages, latest: Sep 08 2020 at 20:14)
Feature index in book (4 messages, latest: Sep 08 2020 at 20:02)
(no topic) (38 messages, latest: Sep 08 2020 at 19:47)
Suitable first contribution task (40 messages, latest: Sep 08 2020 at 18:19)
Type Equality sans lifetimes constraint (7 messages, latest: Sep 07 2020 at 16:35)
Convince rustc a GAT only changes a lifetime? (7 messages, latest: Sep 07 2020 at 05:33)
Simplifying lowering code (59 messages, latest: Sep 05 2020 at 14:18)
opaque types and wf, chalk#579 (8 messages, latest: Sep 04 2020 at 19:02)
Question on implied bounds (9 messages, latest: Sep 04 2020 at 10:23)
rustc chalk integration (4 messages, latest: Sep 04 2020 at 05:53)
'static in Chalk (13 messages, latest: Sep 03 2020 at 21:06)
Meeting Sep 1? (12 messages, latest: Sep 03 2020 at 18:39)
wg-traits repository (16 messages, latest: Sep 03 2020 at 18:21)
Refactoring FnPointer and FnDef (14 messages, latest: Sep 02 2020 at 06:53)
meeting 09.01.2020 (289 messages, latest: Sep 01 2020 at 21:03)
Introductory solver related task (42 messages, latest: Aug 30 2020 at 06:18)
Looking to contribute (149 messages, latest: Aug 29 2020 at 17:15)
Const evaluation (86 messages, latest: Aug 27 2020 at 17:04)
Chalk cargo fmt (4 messages, latest: Aug 19 2020 at 17:36)
Type library (33 messages, latest: Aug 16 2020 at 20:01)
A few small questions about traits (21 messages, latest: Aug 16 2020 at 18:34)
Separate projection bounds and predicates #73905 (19 messages, latest: Aug 16 2020 at 15:01)
InternedConcreteConst (2 messages, latest: Aug 16 2020 at 08:47)
Updating chalk to 0.19.0 (24 messages, latest: Aug 14 2020 at 16:29)
Changes needed in chalk#592 (3 messages, latest: Aug 08 2020 at 05:44)
Changes needed in #592 (9 messages, latest: Aug 08 2020 at 02:40)
tracing in chalk (288 messages, latest: Aug 02 2020 at 23:33)
clear_strands_after_cycle panic (#571) (168 messages, latest: Aug 01 2020 at 23:57)
not-logic (30 messages, latest: Jul 31 2020 at 20:26)
refactoring rustc predicates, a MCP (511 messages, latest: Jul 31 2020 at 17:50)
chalk build problem (42 messages, latest: Jul 28 2020 at 21:34)
Change that affects both chalk and rustc (47 messages, latest: Jul 24 2020 at 12:05)
ICE on nightly (22 messages, latest: Jul 22 2020 at 19:28)
Canonicalization (132 messages, latest: Jul 22 2020 at 06:10)
meetings (10 messages, latest: Jul 21 2020 at 20:23)
A simplification of Stephen Dolan's MLsub thesis (10 messages, latest: Jul 17 2020 at 20:56)
tracing-tree (66 messages, latest: Jul 11 2020 at 17:21)
opaque type feedback (20 messages, latest: Jul 09 2020 at 16:41)
meeting 2020-07-07 (157 messages, latest: Jul 08 2020 at 16:34)
.chalk file writer (189 messages, latest: Jul 04 2020 at 11:07)
floundering on int variables (2 messages, latest: Jul 03 2020 at 16:41)
subtyping (116 messages, latest: Jul 02 2020 at 21:48)
reintegrating chalk into rustc (1821 messages, latest: Jul 02 2020 at 15:35)
meeting 06.30.2020 (293 messages, latest: Jun 30 2020 at 21:07)
Occurs check (16 messages, latest: Jun 29 2020 at 21:20)
What is a binder? (18 messages, latest: Jun 24 2020 at 13:10)
meeting 06.23.2020 (209 messages, latest: Jun 23 2020 at 21:21)
Chalk in expert map (2 messages, latest: Jun 22 2020 at 21:39)
Chalk upgrade failing on rustc due to oom (34 messages, latest: Jun 17 2020 at 20:43)
good starter issue (6 messages, latest: Jun 17 2020 at 20:10)
#505/#506 mentoring (35 messages, latest: Jun 17 2020 at 08:40)
meeting 06.16.2020 (204 messages, latest: Jun 16 2020 at 21:03)
map from canonical (81 messages, latest: Jun 16 2020 at 19:00)
recursive solver: recursion and completeness (28 messages, latest: Jun 16 2020 at 18:59)
WF and region binders (34 messages, latest: Jun 16 2020 at 18:07)
CI in forks (4 messages, latest: Jun 16 2020 at 08:51)
traits, crate dependencies, and nerd sniping (7 messages, latest: Jun 13 2020 at 10:41)
Closures (46 messages, latest: Jun 12 2020 at 21:58)
coinduction in the recursive solver chalk#399 (121 messages, latest: Jun 12 2020 at 18:20)
universes brain dump (6 messages, latest: Jun 11 2020 at 22:08)
layout info (76 messages, latest: Jun 11 2020 at 21:16)
documenting the recursive solver (52 messages, latest: Jun 11 2020 at 14:19)
builtin trait issues (1 message, latest: Jun 09 2020 at 22:34)
meeting 06.09.2020 (320 messages, latest: Jun 09 2020 at 22:26)
what is rust-call (10 messages, latest: Jun 09 2020 at 20:58)
AliasEq question (28 messages, latest: Jun 09 2020 at 14:42)
Unfriendly chalk error in rustc (46 messages, latest: Jun 09 2020 at 08:16)
being able to tell why a goal is not met (11 messages, latest: Jun 08 2020 at 21:51)
Placeholder invariants (7 messages, latest: Jun 08 2020 at 21:27)
WellKnownTrait rename (5 messages, latest: Jun 07 2020 at 11:50)
impl trait (416 messages, latest: Jun 06 2020 at 19:13)
hello (11 messages, latest: Jun 05 2020 at 17:28)
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)
Generic Associated Types dependent on Chalk? (16 messages, latest: May 30 2020 at 18:36)
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)
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)
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)
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)
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)

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)

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)

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)

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)

Last update: May 09 2021 at 00:15UTC