cite chalk#399 in the fixme

nikomatsakis · nikomatsakis · commit 2aa90be07d77 · 2020-04-15T21:38:23.000Z
diff --git a/tests/test/coinduction.rs b/tests/test/coinduction.rs
@@ -217,7 +217,7 @@ fn coinductive_unsound1() {
         goal {
             forall<X> { X: C1orC2 }
         } yields[SolverChoice::recursive()] {
-            // FIXME -- recursive solver doesn't handle coinduction correctly
+            // FIXME(chalk#399) recursive solver doesn't handle coinduction correctly
             "Unique; substitution [], lifetime constraints []"
         }
     }
@@ -453,7 +453,7 @@ fn coinductive_multicycle4() {
         goal {
             forall<X> { X: Any }
         } yields[SolverChoice::recursive()] {
-            // FIXME -- recursive solver doesn't have coinduction correctly
+            // FIXME(chalk#399) recursive solver doesn't handle coinduction correctly
             "Unique; substitution [], lifetime constraints []"
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -217,7 +217,7 @@ fn coinductive_unsound1() {`
`217`	`217`	`goal {`
`218`	`218`	`forall<X> { X: C1orC2 }`
`219`	`219`	`} yields[SolverChoice::recursive()] {`
`220`		`- // FIXME -- recursive solver doesn't handle coinduction correctly`
	`220`	`+ // FIXME(chalk#399) recursive solver doesn't handle coinduction correctly`
`221`	`221`	`"Unique; substitution [], lifetime constraints []"`
`222`	`222`	`}`
`223`	`223`	`}`
`@@ -453,7 +453,7 @@ fn coinductive_multicycle4() {`
`453`	`453`	`goal {`
`454`	`454`	`forall<X> { X: Any }`
`455`	`455`	`} yields[SolverChoice::recursive()] {`
`456`		`- // FIXME -- recursive solver doesn't have coinduction correctly`
	`456`	`+ // FIXME(chalk#399) recursive solver doesn't handle coinduction correctly`
`457`	`457`	`"Unique; substitution [], lifetime constraints []"`
`458`	`458`	`}`
`459`	`459`	`}`