structuredAttrs is enabled

trying https://crates.io/api/v1/crates/proptest-derive/0.8.0/download
  % Total    % Received % Xferd  Average Speed  Time    Time    Time   Current
                                 Dload  Upload  Total   Spent   Left   Speed
  0      0   0      0   0      0      0      0                              0
100  61496 100  61496   0      0 151.8k      0                              0