Half-way point to the first sprint
Key points in the discussion:
- upcoming design meeting on library-ifying chalk-ty/rustc-ty
- planning and the skill tree
- next steps for integrating
impl Trait
in RA - mapping types between rustc and chalk
- ambiguous associated types, which are problematic for rust-analyzer
- things "left" this sprint:
- impl Trait
- tracing
- Finishing
Interner
refactoring