Plans are slowly taking shape
Key points in the discussion:
- general roadmap: integrate chalk into rustc step by step
- getting
chalk-irready for rustc integration - balancing rust-analyzer and optimization work
- incremental goal solving
- sync-up: book PR, writing out steps, other PRs
- adding tracing to the solver
- action points:
- We do want to try to extend both rustc and chalk.
- Need to come up with a plan for chalk integration into rustc (Niko)
- Need to come up with goals for chalk (Jack)
- Need to put together what needs to be done for chalk-ir changes (Niko)
- One way to maybe help performance would be to cache program clause creation
- Should think about potential other solvers
- Going to add tracing into chalk (David and Jack)
- Going to create projects on wg-traits to get organized