quote 1.0.47: quote

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "csx_quote_quasi_quoting"
version = "0.1.0"
dependencies = [
 "quote",
]

[[package]]
name = "proc-macro2"
version = "1.0.107"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "985e7ec9bb745e6ce6535b544d84d6cd6f7ad8bd711c398938ae983b91a766d9"
dependencies = [
 "unicode-ident",
]

[[package]]
name = "quote"
version = "1.0.47"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1fbf4db142a473a8d80c26bbf18454ed458bf8d26c8219c331daecfdbd079001"
dependencies = [
 "proc-macro2",
]

[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"

[package]
name = "csx_quote_quasi_quoting"
version = "0.1.0"
edition = "2021"

[dependencies]
quote = "=1.0.47"

# Notes on quote Quasi-Quoting Macro

- **What `search_known_solution` answered**: Returned `NO_SAFE_MATCH` — no verified sample existed in the network for `pkg:cargo/quote@1.0.47` symbol `quote`.
- **What a model would have written instead**: A model often assumes that `Option<T>` cannot be directly interpolated into `quote! { #opt }` without unwrapping or repetition syntax, or assumes that integer variables in repetitions format without type suffixes (e.g. `[1, 2, 3]` instead of `[1i32, 2i32, 3i32]`).
- **How the wrong version fails**: Code fails at compile time if developers add unnecessary unwrap guards or manual conditionals for optional attributes/docs, or test assertions fail when comparing stringified token streams due to unexpected integer type suffixes.

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify quote in pkg:cargo/quote@1.0.47
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/quote@1.0.47
Demonstrate these symbols/APIs:
  - quote

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:98b9231f3ce1ebfa5839c7eed769e06882417e72fc5ec840ff7679c6110115b3","contract":["assert quote macro converts Rust syntax into a TokenStream","assert quote macro interpolates format_ident identifiers into definition structures","assert quote macro repeats token sequences with a trailing comma separator","assert quote macro repeats token sequences with an inner comma separator omitting trailing comma","assert quote macro treats Option::None as empty tokens rather than raising an error","assert quote macro interpolates Option::Some as its inner token sequence"],"goal":"verify quote in pkg:cargo/quote@1.0.47","kind":"HOW","packages":["pkg:cargo/quote@1.0.47"],"schemaVersion":1,"symbols":["quote"]},"contractCommand":["cargo","test","--offline"],"environment":{"arch":"x64","ecosystem":"cargo","executionContext":"rust","language":"rust","os":"linux","packageManager":"cargo","runtime":"rust","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/quote@1.0.47"],"schemaVersion":1,"subject":"pkg:cargo/quote@1.0.47","symbols":["quote"],"verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify quote in pkg:cargo/quote@1.0.47",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/quote@1.0.47"
  ],
  "symbols": [
    "quote"
  ]
}

//! Contract proving behavioral semantics of quote quasi-quoting in quote 1.0.47.
//!
//! 1. quote! produces a TokenStream from raw Rust syntax.
//! 2. format_ident! produces an Ident that can be interpolated with `#ident`.
//! 3. Repetition syntax `#(#items,)*` with trailing comma produces comma-separated sequences.
//! 4. Repetition syntax `[#(#items),*]` with inner comma separator produces items without a trailing comma.
//! 5. Option<T> interpolation: Some(T) emits inner tokens, while None emits 0 tokens without erroring.
//! 6. Integer literals retain concrete type suffixes when interpolated from typed Rust variables.

use quote::{format_ident, quote, ToTokens};

/// Generates a struct definition with named fields and types.
pub fn generate_struct(name: &str, fields: &[(&str, &str)]) -> impl ToTokens {
    let struct_name = format_ident!("{}", name);
    let field_names: Vec<_> = fields.iter().map(|(f, _)| format_ident!("{}", f)).collect();
    let field_types: Vec<_> = fields.iter().map(|(_, t)| format_ident!("{}", t)).collect();

    quote! {
        struct #struct_name {
            #( #field_names : #field_types , )*
        }
    }
}

/// Demonstrates Option<T> interpolation: Some(T) emits tokens, None emits nothing.
pub fn generate_optional_doc(doc: Option<&str>, item_name: &str) -> impl ToTokens {
    let id = format_ident!("{}", item_name);
    let doc_attr = doc.map(|d| quote! { #[doc = #d] });
    quote! {
        #doc_attr
        fn #id() {}
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn test_quote_basic_tokens() {
        let tokens = quote! {
            let x = 42;
        };
        assert_eq!(tokens.to_string(), "let x = 42 ;");
    }

    #[test]
    fn test_quote_identifier_interpolation() {
        let type_name = format_ident!("Widget");
        let tokens = quote! {
            impl #type_name {}
        };
        assert_eq!(tokens.to_string(), "impl Widget { }");
    }

    #[test]
    fn test_quote_repetition_with_trailing_separator() {
        let fields = vec![("width", "u32"), ("height", "u32")];
        let tokens = generate_struct("Dimensions", &fields);
        assert_eq!(
            tokens.to_token_stream().to_string(),
            "struct Dimensions { width : u32 , height : u32 , }"
        );
    }

    #[test]
    fn test_quote_repetition_with_inner_separator() {
        let vals = vec![1i32, 2i32, 3i32];
        let tokens = quote! {
            [#( #vals ),*]
        };
        assert_eq!(tokens.to_string(), "[1i32 , 2i32 , 3i32]");
    }

    #[test]
    fn test_quote_option_none_emits_empty() {
        let tokens = generate_optional_doc(None, "run");
        assert_eq!(tokens.to_token_stream().to_string(), "fn run () { }");
    }

    #[test]
    fn test_quote_option_some_emits_inner_tokens() {
        let tokens = generate_optional_doc(Some("Runs the task"), "run");
        assert_eq!(
            tokens.to_token_stream().to_string(),
            "# [doc = \"Runs the task\"] fn run () { }"
        );
    }
}