add is_val_statically_known test

Author: Oneirical

src/compile_test.rs

@@ -705,6 +705,7 @@ run_test! {intrinsics,catch,stable}
 run_test! {intrinsics,cmp_bytes,stable}
 run_test! {intrinsics,copy_nonoverlaping,stable}
 run_test! {intrinsics,ctpop,stable}
+run_test! {intrinsics,is_val_statically_known,stable}
 run_test! {intrinsics,malloc,stable}
 run_test! {intrinsics,offset_of,unstable}
 run_test! {intrinsics,overflow_ops,stable}

src/lib.rs

@@ -320,9 +320,10 @@ impl ArchiveBuilderBuilder for RlibArchiveBuilder {
         &self,
         _sess: &Session,
         _lib_name: &str,
-        _dll_imports: std::vec::Vec<(std::string::String, std::option::Option<u16>)>,
+        _dll_imports: &[rustc_session::cstore::DllImport],
         _tmpdir: &Path,
-    ) {
+        _bool: bool,
+    ) -> PathBuf {
         unimplemented!("creating dll imports is not supported");
     }
 }

test/intrinsics/is_val_statically_known.rs

@@ -0,0 +1,35 @@
+#![feature(
+    lang_items,
+    adt_const_params,
+    associated_type_defaults,
+    core_intrinsics,
+    start,
+    unsized_const_params
+)]
+#![allow(internal_features, incomplete_features, unused_variables, dead_code)]
+#![no_std]
+include!("../common.rs");
+extern crate core;
+
+use core::intrinsics::is_val_statically_known;
+
+fn main() {
+    test_eq!(is_val_statically_known(42), true);
+    test_eq!(is_val_statically_known([42]), false);
+    test_eq!(is_val_statically_known("42"), false);
+    test_eq!(is_val_statically_known(FortyTwo {}), false);
+    test_eq!(is_val_statically_known(FortyTwo {}.forty_two()), false);
+}
+
+#[derive(Copy, Clone)]
+struct FortyTwo {}
+
+trait Return {
+    fn forty_two(&self) -> usize;
+}
+
+impl Return for FortyTwo {
+    fn forty_two(&self) -> usize {
+        42
+    }
+}