drop_cast(7) - BetterMan

drop_cast(7)

remove a cast

distrodataset 2026-04-01T06:19:02Z+debian+ec4110e+mandoc:1.14.6-4

Synopsis

DROP CAST [ IF EXISTS ] (
source_type
 AS 
target_type
) [ CASCADE | RESTRICT ]

—

NAME

DROP_CAST - remove a cast

bash

DROP CAST [ IF EXISTS ] (\nsource_type\n AS \ntarget_type\n) [ CASCADE | RESTRICT ]

DROP CAST removes a previously defined cast.

To be able to drop a cast, you must own the source or the target data type. These are the same privileges that are required to create a cast.

IF EXISTS

source_type

target_type

CASCADE RESTRICT

To drop the cast from type text to type int:

bash

DROP CAST (text AS int);

The DROP CAST command conforms to the SQL standard.