Add test exposing buggy behavior (only visible via token stream)

Author: brk

c2rust-ast-builder/src/builder.rs

@@ -315,13 +315,7 @@ impl<S: Make<PathSegment>> Make<Path> for Vec<S> {
     fn make(self, mk: &Builder) -> Path {
         let mut segments = Punctuated::new();
         for s in self {
-            let segment = s.make(mk);
-            let has_params = !segment.arguments.is_empty();
-            segments.push(segment);
-            // separate params from their segment with ::
-            if has_params {
-                segments.push_punct(Default::default());
-            }
+            segments.push(s.make(mk));
         }
         Path {
             leading_colon: None,

c2rust-transpile/tests/tokens.rs

@@ -0,0 +1,13 @@
+use c2rust_ast_builder::mk;
+use syn::__private::ToTokens;
+
+#[test]
+fn test_tokenize() {
+    let tys = vec![mk().path_ty(vec!["t"])];
+    let args = mk().angle_bracketed_args(tys);
+    let path_segment = mk().path_segment_with_args("x", args);
+    assert_eq!(path_segment.to_token_stream().to_string(), "x :: < t >");
+
+    let path = mk().path(vec![path_segment]);
+    assert_eq!(path.to_token_stream().to_string(), "x :: < t >");
+}