СУБД Firebird выполнить оператор с параметром BIGINT имени входного

Question

Допустим, у меня есть такой код:

execute block 
as 
declare var_mask bigint; 
declare var_dummy int; 
begin 
    var_mask = bin_shl(1, (64 - 1)); 

    execute statement (' 
select first 1 null 
from rdb$database 
where bin_and(cast(0 as bigint), :var_mask) <> cast(0 as bigint) 
    ') 
    (var_mask := var_mask) 
    into :var_dummy 
    ; 
end 

Это один дает хороший arithmetic exception, numeric overflow, or string truncation. numeric value is out of range..

Чтобы сделать его работу я должен сделать явное приведение переменной:

execute block 
as 
declare var_mask bigint; 
declare var_dummy int; 
begin 
    var_mask = bin_shl(1, (64 - 1)); 

    execute statement (' 
select first 1 null 
from rdb$database 
where bin_and(cast(0 as bigint), cast(:var_mask as bigint)) <> cast(0 as bigint) 
    ') 
    (var_mask := var_mask) 
    into :var_dummy 
    ; 
end 

Кто-нибудь знает, почему? Информация о типе должна нести, не так ли?

Answer 1

Чтобы добавить ответ Адриано, информация о типе фактически не несет - более here, от меня на самом деле :).

Answer 2

Поскольку BIN_AND описывает второй параметр как INTEGER, даже когда вы передаете BIGINT на первый. Будет ли это хорошо или плохо, может быть обсуждено.