pub fn validate_literal(
    db: &dyn SemanticGroup,
    ty: TypeId,
    value: BigInt
) -> Result<(), SemanticDiagnosticKind>
Expand description

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