structuredAttrs is enabled

trying https://static.crates.io/crates/proptest-arbitrary-interop/0.1.0/download
  % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
                                 Dload  Upload  Total   Spent   Left   Speed
100   3560 100   3560   0      0  83099      0                              0