Add Destruct trait to static.rs

Author: bjorn3

tests/run/static.rs

@@ -22,6 +22,9 @@
 #[lang = "sized"]
 pub trait Sized {}
 
+#[lang = "destruct"]
+pub trait Destruct {}
+
 #[lang = "copy"]
 trait Copy {
 }