No error from this view

no-error-view.sql

CREATE TYPE prio AS ENUM ('low', 'med', 'high');
SELECT run_command_on_workers ($cmd$
  CREATE TYPE prio AS ENUM ('low', 'med', 'high');
$cmd$);

CREATE TABLE todos (
    id serial,
    project_id int,
    priority prio DEFAULT 'med',
    what text NOT NULL,
    PRIMARY KEY (id, project_id)
);

INSERT INTO todos (project_id, what)
SELECT random() * 4, 'usual thing'
FROM generate_series(1, 100);

INSERT INTO todos (project_id, what, priority)
SELECT random() * 4, 'important thing', 'high'
FROM generate_series(1, 10);

SELECT create_distributed_table ('todos', 'project_id');

CREATE VIEW important_todos AS
SELECT *
FROM todos
WHERE priority >= 'high';