Unable to set empty array as default value of array type

[oliverdding]

With a table with array type, I want to set the default value of empty array through manager api:

                    .col(
                        ColumnDef::new(User::Submitted)
                            .array(ColumnType::BigInteger)
                            .not_null()
                            .default(Value::Array(ArrayType::BigInt, Some(Box::default()))),
                    )

But it failed to create table with error:

Error: Exec(SqlxError(Database(PgDatabaseError { severity: Error, code: "42P18", message: "cannot determine type of empty array", detail: None, hint: Some("Explicitly cast to the desired type, for example ARRAY[]::integer[]."), position: Some(Original(242)), where: None, schema: None, table: None, column: None, data_type: None, constraint: None, file: Some("parse_expr.c"), line: Some(2021), routine: Some("transformArrayExpr") })))

It seems that the manager should determite if the default array is empty, and cast to specific array type of empty array: link.