NULL without context should be of type Any instead of Unknown
FROM: !1444 (comment 122460)
Мне кажется,
Unknownне нужен.NULLбез контекста имеет типAny, т.е. он унифицируется со значением любого типа. Дальше можно уточнять, что, например, в выражении2 = NULL,NULLдолжен иметь типintegerилиunsigned...
В исходном коде нас интересует этот кусочек:
#[must_use]
pub fn get_type(&self) -> DerivedType {
let ty = match self {
/* cut */
Value::Null => return DerivedType::unknown(),
};
DerivedType::new(ty)
}
Возможно, это не единственный отрывок кода, см. !1598 (commits).