Test that type-conversion is safe