structuredAttrs is enabled

trying https://static.crates.io/crates/proptest/1.11.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 202.9k 100 202.9k   0      0  5.29M      0                              0
100 202.9k 100 202.9k   0      0  5.28M      0                              0
100 202.9k 100 202.9k   0      0  5.27M      0                              0