//! Placeholder resolver tests.

use std::testing;

use std::lang::resolver;

/// Test array pattern with placeholder elements.

/// Pattern syntax: `[_, y]` ignores first element.

@test unsafe fn testResolveMatchArrayPatternPlaceholder() throws (testing::TestError) {

    let mut testArena389 = super::testArena();

    let testStorage389: 'test389 = &mut testArena389 in {

        let mut a = super::testResolver(testStorage389);

        let program = "fn f(arr: [i32; 2]) -> i32 { match arr { case [_, y] => return y } }";

        let result = try super::resolveProgramStr(&mut a, program);

        try super::expectNoErrors(&result);

    }

}

/// Placeholders cannot supply values to expressions.

@test unsafe fn testPlaceholderValueRejected() throws (testing::TestError) {

    for program in [

        "fn value() -> u32 { return _; }",

        "fn take(value: u32) {} fn run() { take(_); }",

        "record R: Copy { value: u32 } fn run() { let value = R { value: _ }; }",

        "fn run() { let value: [u32; 1] = [_]; }",

        "union U: Copy { Value(u32) } fn run() { let value = U::Value(_); }",

        "union U: Copy { Value(u32) } fn run(value: &?U) { match value { case U::Value(_) => {} else => {} } }",

    ] {

        let mut arena = super::testArena();

        let storage: 'placeholder = &mut arena in {

            let mut res = super::testResolver(storage);

            let result = try super::resolveProgramStr(&mut res, program);

            try super::expectErrorKind(&result, resolver::ErrorKind::PlaceholderExpression);

        }

    }

}