add UI test for issue #35144

Author: apiraino

src/tools/cargo

@@ -10,8 +10,10 @@ use std::path::{Path, PathBuf};
 
 const ENTRY_LIMIT: usize = 900;
 // FIXME: The following limits should be reduced eventually.
-const ISSUES_ENTRY_LIMIT: usize = 1893;
-const ROOT_ENTRY_LIMIT: usize = 872;
+// Max number of files under "./ui/issues"
+const ISSUES_ENTRY_LIMIT: usize = 1892;
+// Max number of files under "./ui"
+const ROOT_ENTRY_LIMIT: usize = 871;
 
 const EXPECTED_TEST_FILE_EXTENSIONS: &[&str] = &[
     "rs",     // test source files

src/tools/tidy/src/ui_tests.rs

@@ -0,0 +1,23 @@
+pub mod a {
+    use std::cell::RefCell;
+
+    pub struct Arena<T> {
+        chunks: RefCell<ChunkList<T>>,
+    }
+
+    struct ChunkList<T> {
+        current: Vec<T>,
+        rest: Vec<Vec<T>>,
+    }
+
+    impl<T> Arena<T> {
+        pub fn new() -> Arena<T> {
+            Arena {
+                chunks: RefCell::new(ChunkList {
+                    current: Vec::with_capacity(12),
+                    rest: Vec::new(),
+                }),
+            }
+        }
+    }
+}

tests/ui/type_id/auxiliary/a.rs

@@ -0,0 +1,3 @@
+pub mod b {
+    pub struct Unused {}
+}

tests/ui/type_id/auxiliary/b.rs

@@ -1,3 +1,4 @@
+// #13507: Fixed hashing of DefId for ty_enum
 pub mod testtypes {
     use std::any::TypeId;
 
@@ -18,7 +19,7 @@ pub mod testtypes {
             TypeId::of::<FooTuple>(),
             TypeId::of::<FooTrait>(),
             TypeId::of::<FooStruct>(),
-            TypeId::of::<FooEnum>()
+            TypeId::of::<FooEnum>(),
         ]
     }
 
@@ -66,13 +67,13 @@ pub mod testtypes {
     // Tests struct
     pub struct FooStruct {
         pub pub_foo_field: usize,
-        foo_field: usize
+        foo_field: usize,
     }
 
     // Tests enum
     pub enum FooEnum {
         VarA(usize),
-        VarB(usize, usize)
+        VarB(usize, usize),
     }
 
     // Tests Tuple

tests/ui/issues/auxiliary/issue-13507.rs renamed to tests/ui/type_id/auxiliary/issue-13507.rs

@@ -1,3 +1,4 @@
+// #13507: Fixed hashing of DefId for ty_enum
 // run-pass
 #![allow(unused_imports)]
 // aux-build:issue-13507.rs
@@ -25,7 +26,7 @@ pub fn type_ids() -> Vec<TypeId> {
         TypeId::of::<FooTuple>(),
         TypeId::of::<dyn FooTrait>(),
         TypeId::of::<FooStruct>(),
-        TypeId::of::<FooEnum>()
+        TypeId::of::<FooEnum>(),
     ]
 }
 

tests/ui/auxiliary/typeid-intrinsic-aux1.rs renamed to tests/ui/type_id/auxiliary/typeid-intrinsic-aux1.rs

@@ -0,0 +1,24 @@
+// #35144: output should be the same with or without enabling the feature
+//
+// edition:2021
+// aux-build:a.rs
+// aux-build:b.rs
+// run-pass
+// compile-flags: --extern a --extern b --cfg feature="afirst" -A unused_imports -A dead_code
+#![feature(core_intrinsics, rustc_private)]
+
+#[cfg(afirst)]
+use a;
+use b;
+#[cfg(not(afirst))]
+use a;
+
+use std::intrinsics::type_id;
+
+fn main() {
+    println!(
+        "{:?} {:?}",
+        type_id::<a::a::Arena<()>>(),
+        type_id::<dyn Iterator<Item = a::a::Arena<()>>>()
+    );
+}