@@ -11,8 +11,8 @@ items = [
1111name = " recursive-solver"
1212label = " Experiment with a recursive chalk solver"
1313items = [
14- { label = " write -up the idea that Niko had" },
15- { label = " build prototype and evaluate" },
14+ { label = " Write -up the idea that Niko had" , status = " Complete " },
15+ { label = " Build prototype and evaluate" , status = " Blocked " },
1616]
1717
1818[[group ]]
@@ -29,19 +29,22 @@ items = [
2929name = " syntactic-semantic-equality"
3030label = " Separate syntactic equality from semantic equality"
3131requires = [" map-chalk-types-to-rustc-types:debruijn" ]
32+ status = " Blocked"
3233items = [
3334]
3435
3536[[group ]]
3637name = " map-chalk-types-to-rustc-types"
3738label = " Map chalk types to rustc types"
3839items = [
39- { label = " Make intern methods take &self" , href =" https://github.com/rust-lang-nursery/chalk/issues/328" },
40- { label = " Make data methods take &self" },
40+ { label = " Rename Projection to Alias" , status =" Complete" },
41+ { label = " Make intern methods take &self" , href =" https://github.com/rust-lang-nursery/chalk/issues/328" , status =" Assigned" },
42+ { label = " Make data methods take &self" , status =" Blocked" },
4143 { label = " Align placeholders and ty::Param" },
4244 { label = " Move Identifier to TypeFamily" },
43- { label = " Adapt rutsc 's debruijn index model" , port =" debruijn" },
45+ { label = " Adapt rustc 's debruijn index model" , port =" debruijn" , status = " Assigned " , href = " https://github.com/rust-lang/chalk/issues/334 " },
4446 { label = " Remove all vectors, boxes" },
47+ { label = " Introduce a `Visit` trait" , href =" https://github.com/rust-lang/chalk/issues/333" },
4548]
4649
4750[[group ]]
@@ -57,6 +60,7 @@ items = [
5760name = " advanced-features"
5861label = " Advanced features"
5962requires = [ " rustc-integration-mvp" ]
63+ status = " Blocked"
6064items = [
6165 { label =" implied bounds" },
6266]
@@ -65,6 +69,7 @@ items = [
6569name = " library"
6670label = " Usable as a standalone library for traits solving"
6771requires = [ " rustc-integration-mvp" , " rust-analyzer-integration" ]
72+ status = " Blocked"
6873items = [
6974 { label =" implied bounds" },
7075]
0 commit comments