pub fn validate_literal(
db: &dyn SemanticGroup,
ty: TypeId,
value: BigInt,
) -> Result<(), LiteralError>
Expand description
Validates that a given type is valid for a literal and that the value fits the range of the specific type.
pub fn validate_literal(
db: &dyn SemanticGroup,
ty: TypeId,
value: BigInt,
) -> Result<(), LiteralError>
Validates that a given type is valid for a literal and that the value fits the range of the specific type.