[[group]]
name = "align-rustc-predicate"
label = "Align rustc predicates with chalk predicates"
items = [
  { label = "isolate Binder into a Forall goal" },
  { label = "introduce Implication" },
  { label = "introduce Forall goals with types" },
]

[[group]]
name = "recursive-solver"
label = "Experiment with a recursive chalk solver"
items = [
  { label = "write-up the idea that Niko had" },
  { label = "build prototype and evaluate" },
]

[[group]]
name = "rust-analyzer-integration"
label = "Integrate with rust-analyzer"
items = [
  { label = "How to model impl Trait" },
  { label = "Ensure that we never need to ask for impls of unknown types", port = "askfor", requires = ["syntactic-semantic-equality"] },
  { label = "Deal with performance problems" },
  { label = "Deal with memory usage" },
]

[[group]]
name = "syntactic-semantic-equality"
label = "Separate syntactic equality from semantic equality"
requires = ["map-chalk-types-to-rustc-types:debruijn"]
items = [
]

[[group]]
name = "map-chalk-types-to-rustc-types"
label = "Map chalk types to rustc types"
items = [
  { label = "Move Identifier to TypeFamily" },
  { label = "Adapt rutsc's debruijn index model", port="debruijn" },
  { label = "Remove all vectors, boxes" },
  { label = "Make intern methods take &self" },
]

[[group]]
name = "rustc-integration-mvp"
label = "Integrate chalk-solve into rustc"
requires = [ "map-chalk-types-to-rustc-types" ]
items = [
  { label="remove old chalk support" },
  { label="create" },
]