traits design meeting 2020.02.25 topic Discussions on chalk refactorings Zulip thread summary Key points in the discussion: head count for who's working on the sprint impl Trait, opaque types differences between type projections and impl trait adding the interner to chalk code sized and auto-traits rustc refactorings on Predicate not being picked up