builtins: implement ST_MakeEnvelope(float xmin, float ymin, float xmax, float ymax, integer srid=unknown)

[fredbi]

Is your feature request related to a problem? Please describe.
Our app makes extensive use of geometry bounds (e.g. to filter geo-located things).

We use the ST_MakeEnvelope function to build geometries suitable for geospatial indexes out.

ST_MakeEnvelope(float xmin, float ymin, float xmax, float ymax, integer srid=unknown) -> geometry

But this is not supported by cockroachDB as v22.1.x.

Describe the solution you'd like
Have support for ST_MakeEnvelope(loat xmin, float ymin, float xmax, float ymax, integer srid=unknown) -> geometry

Describe alternatives you've considered
As of v22.1.x, we only have the following alternative:

• either build a geometry in the client code from the bounds then pass it as a geometry arg to the query
• or use the following hack: ST_SetSRID(ST_Envelope(ST_Makebox2d(ST_Makepoint(?,?), ST_Makepoint(?,?))), 4326)

Additional context
N/A

---

You'll need to implement both variants to make this work>

ST_MakeEnvelope(float xmin, float ymin, float xmax, float ymax)
ST_MakeEnvelope(float xmin, float ymin, float xmax, float ymax, integer srid=unknown)

See #48814 for example PR

Jira issue: CRDB-15756

[blathers-crl]

Hello, I am Blathers. I am here to help you get the issue triaged.

I was unable to automatically find someone to ping.

If we have not gotten back to your issue within a few business days, you can try the following:

• Join our community slack channel and ask on #cockroachdb.
• Try find someone from here if you know they worked closely on the area and CC them.

_{🦉 Hoot! I am a Blathers, a bot for CockroachDB. My owner is otan.}