Geometry SRID does not match column SRID

[tobwen]

summary

It's unknown if it's a bug or a feature.

Snippet 2 works as expected, snippet 1 works in PostGIS v3.1alpha, but throws an error in 'PostGIS v3.0':

ERROR: Geometry SRID (0) does not match column SRID (3035)

snippet 1

SELECT
    ST_MakeBox2D(
        ST_MakePoint(easting * scale, northing * scale),
        ST_MakePoint(easting * scale + width, northing * scale + width)
    )::geometry(Polygon, 3035)
FROM
    (SELECT 1000 easting, 1000 northing, 1 scale, 100 width) sq;

snippet 2

SELECT
    ST_SetSRID(ST_MakeBox2D(
        ST_MakePoint(easting * scale, northing * scale),
        ST_MakePoint(easting * scale + width, northing * scale + width)
    ), 3035)::geometry(Polygon, 3035)
FROM
    (SELECT 1000 easting, 1000 northing, 1 scale, 100 width) sq;

[tobwen]

Is a feature as stated in #4569