Rustc explore session: @lcnr and @compiler-error talk about user-facing API of the new trait solver | Rust Programming Language | Podwise