Skip to content

bug: an out-of-range float literal is refused without a stable code #920

Closed

Description

@azimafroozeh

Actual result

A filter comparing an F64 property with a float literal past the F64 range fails with value Float(inf) exceeds F64 range, an error with no stable code.

Expected result

The query is refused with a stable diagnostic code (type error: T…).

GQT reproduction or limitation

# issue: none
# red_on: dfc73f46

--- runner
timeout_ms: 10000
environments:
  - target: omnigraph-engine
    storage: local-filesystem

--- schema
node N {
    f: F64
}

--- seed
{"type": "N", "data": {"f": 1.5}}

--- query
query overflow() {
    match {
        $x: N
        $x.f < 1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0
    }
    return { $x.f }
}

--- expect error: type error: T

Version

main @ dfc73f4, built from source (crate version 0.13.0; the v0.13.0 release returns the row for this query)

Execution path

Embedded Rust API

Environment

macOS on arm64, local filesystem storage

Reproduction command and output

Additional logs

Activity

  1. self-assigned this
    on Oct 9, 2026
  2. added
    acceptedTriaged and validated; open for a PR
    P-highHigh priority
    and removed
    needs-triageAwaiting maintainer triage
    on Oct 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

P-highHigh priorityacceptedTriaged and validated; open for a PRbugSomething isn't working

Type

No type

Projects

No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions