jack's suggestions

Author: nikomatsakis

roadmap.toml

@@ -81,10 +81,10 @@ items = [
 [[group]]
 name = "rustc-integration-mvp"
 label = "Integrate chalk-solve into rustc"
-requires = [ "map-chalk-types-to-rustc-types", "chalk-const" ]
+requires = [ "map-chalk-types-to-rustc-types", "chalk-const", "chalk-builtin-traits" ]
 items = [
   { label="remove old chalk support", status="Complete", href="https://github.com/rust-lang/rust/pull/69247" },
-  { label="exploratory integration to better uncover requirements", status="Assigned" },
+  { label="exploratory integration to better uncover requirements", href="https://github.com/rust-lang/rust/pull/69406", status="Assigned" },
   { label="map rustc types to chalk types", status="Blocked" },
   { label="map rustc predicates to chalk goals, clauses", status="Blocked" },
   { label="implement RustIrDatabase in trait", status="Blocked" },