WIP add error back to rust-lang#42796 --- not 100% sure why though

Maybe it has to do with the folding of obligations?

src/test/compile-fail/issue-42796.rs

@@ -17,7 +17,7 @@ impl<T, Smoke> Mirror<Smoke> for T {
 }
 
 pub fn poison<S>(victim: String) where <String as Mirror<S>>::Image: Copy {
-    loop { drop(victim); }
+    loop { drop(victim); } //~ ERROR use of moved value
 }
 
 fn main() {