Fix most type-defs for #[auto_type] by cleaning up all the type defs
#3037
| Job | Run time |
|---|---|
| 8m 21s | |
| 8m 21s | |
| 7m 19s | |
| 7m 19s | |
| 1m 51s | |
| 1m 51s | |
| 2m 58s | |
| 2m 58s | |
| 5s | |
| 5s | |
| 6m 32s | |
| 13m 46s | |
| 12m 40s | |
| 12m 40s | |
| 34m 52s | |
| 34m 52s | |
| 9m 46s | |
| 9m 46s | |
| 12m 7s | |
| 12m 7s | |
| 7m 20s | |
| 7m 20s | |
| 12m 58s | |
| 12m 58s | |
| 10m 55s | |
| 10m 55s | |
| 19m 21s | |
| 19m 21s | |
| 7m 15s | |
| 7m 15s | |
| 11m 21s | |
| 11m 21s | |
| 20m 50s | |
| 20m 50s | |
| 10m 31s | |
| 10m 31s | |
| 8m 42s | |
| 8m 42s | |
| 7m 2s | |
| 7m 2s | |
| 8m 31s | |
| 8m 31s | |
| 14m 18s | |
| 14m 18s | |
| 16m 45s | |
| 16m 45s | |
| 11m 51s | |
| 11m 51s | |
| 12m 56s | |
| 12m 56s | |
| 20m 27s | |
| 20m 27s | |
| 10m 14s | |
| 10m 14s | |
| 13m 41s | |
| 13m 41s | |
| 8m 13s | |
| 8m 13s | |
| 8m 53s | |
| 8m 53s | |
| 20m 40s | |
| 20m 40s | |
| 11m 15s | |
| 11m 15s | |
| 12h 28m 14s |