add comment about if_raw

nikomatsakis · web-flow · commit 01ab17eb0dc4 · 2017-07-10T10:53:05.000-04:00
diff --git a/src/solve/test.rs b/src/solve/test.rs
@@ -183,6 +183,8 @@ fn prove_forall() {
             "Unique; substitution [], lifetime constraints []"
         }
 
+        // This fails because we used `if_raw`, and hence we do not
+        // know that `WF(T: Clone)` holds.
         goal {
             forall<T> {
                 if_raw (T: Clone) {

Original file line number	Diff line number	Diff line change
`@@ -183,6 +183,8 @@ fn prove_forall() {`
`183`	`183`	`"Unique; substitution [], lifetime constraints []"`
`184`	`184`	`}`
`185`	`185`
	`186`	+ // This fails because we used `if_raw`, and hence we do not
	`187`	+ // know that `WF(T: Clone)` holds.
`186`	`188`	`goal {`
`187`	`189`	`forall<T> {`
`188`	`190`	`if_raw (T: Clone) {`