@@ -11,8 +11,8 @@ items = [
11
11
name = " recursive-solver"
12
12
label = " Experiment with a recursive chalk solver"
13
13
items = [
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 " },
16
16
]
17
17
18
18
[[group ]]
@@ -29,19 +29,22 @@ items = [
29
29
name = " syntactic-semantic-equality"
30
30
label = " Separate syntactic equality from semantic equality"
31
31
requires = [" map-chalk-types-to-rustc-types:debruijn" ]
32
+ status = " Blocked"
32
33
items = [
33
34
]
34
35
35
36
[[group ]]
36
37
name = " map-chalk-types-to-rustc-types"
37
38
label = " Map chalk types to rustc types"
38
39
items = [
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" },
41
43
{ label = " Align placeholders and ty::Param" },
42
44
{ 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 " },
44
46
{ label = " Remove all vectors, boxes" },
47
+ { label = " Introduce a `Visit` trait" , href =" https://github.com/rust-lang/chalk/issues/333" },
45
48
]
46
49
47
50
[[group ]]
@@ -57,6 +60,7 @@ items = [
57
60
name = " advanced-features"
58
61
label = " Advanced features"
59
62
requires = [ " rustc-integration-mvp" ]
63
+ status = " Blocked"
60
64
items = [
61
65
{ label =" implied bounds" },
62
66
]
@@ -65,6 +69,7 @@ items = [
65
69
name = " library"
66
70
label = " Usable as a standalone library for traits solving"
67
71
requires = [ " rustc-integration-mvp" , " rust-analyzer-integration" ]
72
+ status = " Blocked"
68
73
items = [
69
74
{ label =" implied bounds" },
70
75
]
0 commit comments