Anchor idl build fails on seeds::program constraint

[giangcsp]

Program created fresh with:

1. anchor-cli v0.30.1
2. solana-cli 2.0.21
3. rustc 1.83.0

use anchor_lang::prelude::*;

declare_id!("EqESFSyZPGyB4S72cv7vdy2fkFQZZkZcCTjySYd8wmZZ");

#[program]
pub mod test {
    use super::*;

    pub fn initialize(ctx: Context<Initialize>) -> Result<()> {
        msg!("Greetings from: {:?}", ctx.program_id);
        Ok(())
    }
}

#[derive(Accounts)]
pub struct Initialize<'info> {
    #[account(mut)]
    pub signer: Signer<'info>,

    #[account(
        mut,
        seeds = ["something".as_bytes().as_ref()],
        bump,
        seeds::program = test_program
    )]
    pub test_pda: UncheckedAccount<'info>,

    pub test_program: Program<'info, System>,
}

Error:

error[E0425]: cannot find value `test_program` in this scope
  --> programs/test/src/lib.rs:24:26
   |
24 |         seeds::program = test_program
   |                          ^^^^^^^^^^^^ not found in this scope

[acheroncrypto]

Similar to #3209 and #2903, IDL resolution requires certain information to be available in compile time, but you're using a runtime value (test_program). To solve, you can simply use seeds::program = System::id() instead (or any other value that's known in compile time).

For this specific example, the parser could be a little smarter and decide test_program's key can be known in compile time (because it's using the Program type).

There are certainly improvements to be made here, so I'm leaving the issue open.