windjammer 0.48.0

#![cfg(any(
    not(any(
        feature = "parser_tests",
        feature = "analyzer_tests",
        feature = "codegen_tests",
        feature = "interpreter_tests",
        feature = "conformance_tests",
        feature = "integration_tests",
    )),
    feature = "codegen_tests",
))]

/// TDD Test: Forward Reference Limitation
///
/// This test documents the current limitation of String → &str auto-conversion
/// when methods are defined after they are used.
///
/// **Current Behavior**: Fails when Inventory is defined after DialogCondition
/// **Expected Behavior** (after two-pass analysis): Should work regardless of order
///
/// **Status**: KNOWN LIMITATION - tracked for future enhancement
#[test]
fn test_forward_reference_limitation() {
    use std::fs;

    use std::process::Command;

    let test_code = r#"
// ❌ CURRENT: This fails because Inventory is defined AFTER DialogCondition
enum DialogCondition {
    HasItem(string, i32),
}

impl DialogCondition {
    pub fn evaluate(self, gs: GameState) -> bool {
        match self {
            DialogCondition::HasItem(item_id, qty) => {
                gs.inventory.has_item(item_id, qty)
            },
        }
    }
}

struct GameState {
    inventory: Inventory,
}

struct Inventory {
}

impl Inventory {
    pub fn has_item(self, item_id: string, min_qty: i32) -> bool {
        false
    }
}
"#;

    let temp_dir = tempfile::TempDir::new().expect("Failed to create temp dir");
    let out_dir = temp_dir.path().join("out");
    fs::create_dir_all(&out_dir).unwrap();
    let test_file = temp_dir.path().join("forward_ref_test.wj");
    fs::write(&test_file, test_code).unwrap();

    let output = Command::new(env!("CARGO_BIN_EXE_wj"))
        .args([
            "build",
            test_file.to_str().unwrap(),
            "-o",
            out_dir.to_str().unwrap(),
            "--no-cargo",
        ])
        .output()
        .expect("Failed to run wj build");

    assert!(output.status.success(), "wj build should succeed");

    let generated_rs = out_dir.join("forward_ref_test.rs");
    assert!(generated_rs.exists(), "Generated Rust file should exist");

    let generated_code = fs::read_to_string(&generated_rs).unwrap();

    // ✅ EXPECTED (after two-pass analysis): Should add & to item_id
    assert!(
        generated_code.contains("gs.inventory.has_item(&item_id, qty)"),
        "Should auto-add & to convert String → &str (requires two-pass analysis)"
    );
}

#[test]
fn test_forward_reference_workaround() {
    use std::fs;

    use std::process::Command;

    let test_code = r#"
// ✅ WORKAROUND: Define Inventory BEFORE DialogCondition
struct Inventory {
}

impl Inventory {
    pub fn has_item(self, item_id: string, min_qty: i32) -> bool {
        false
    }
}

struct GameState {
    inventory: Inventory,
}

enum DialogCondition {
    HasItem(string, i32),
}

impl DialogCondition {
    pub fn evaluate(self, gs: GameState) -> bool {
        match self {
            DialogCondition::HasItem(item_id, qty) => {
                gs.inventory.has_item(item_id, qty)
            },
        }
    }
}
"#;

    let temp_dir = tempfile::TempDir::new().expect("Failed to create temp dir");
    let out_dir = temp_dir.path().join("out");
    fs::create_dir_all(&out_dir).unwrap();
    let test_file = temp_dir.path().join("workaround_test.wj");
    fs::write(&test_file, test_code).unwrap();

    let output = Command::new(env!("CARGO_BIN_EXE_wj"))
        .args([
            "build",
            test_file.to_str().unwrap(),
            "-o",
            out_dir.to_str().unwrap(),
            "--no-cargo",
        ])
        .output()
        .expect("Failed to run wj build");

    assert!(output.status.success(), "wj build should succeed");

    let generated_rs = out_dir.join("workaround_test.rs");
    assert!(generated_rs.exists(), "Generated Rust file should exist");

    let generated_code = fs::read_to_string(&generated_rs).unwrap();

    // ✅ This SHOULD work with current implementation
    assert!(
        generated_code.contains("gs.inventory.has_item(&item_id, qty)"),
        "Should auto-add & when Inventory is defined first"
    );
}