Function check_ata_with_program 

pub fn check_ata_with_program(
    account: &AccountView,
    wallet: &Address,
    mint: &Address,
    token_program: &Address,
) -> ProgramResult

Verify a token account is the correct ATA for a specific token program.

Same as check_ata but for Token-2022 or any explicit token program.

check_ata_with_program(user_ata, wallet.address(), mint.address(), &programs::TOKEN_2022)?;