Function validate_literal 

pub fn validate_literal<'db>(
    db: &'db dyn Database,
    ty: TypeId<'db>,
    value: &BigInt,
) -> Result<(), LiteralError<'db>>

Validates that a given type is valid for a literal and that the value fits the range of the specific type.