We have an AssertType testing facility for checking that a type is fully and correctly implemented in Npgsql.
After #5123, array mappings will no longer be fully automated, but will rather be statically/manually specified in each resolver, to make things work better with NativeAOT. We should enhance our AssertType to automatically check for the corresponding array type of each type.
/cc @NinoFloris