Cache the result of sub_one_annotation
which happens during the construction of "BadType". Also update types on the signatures along the way.
#2343
Job | Run time |
---|---|
24m 42s | |
21m 14s | |
5m 10s | |
28m 59s | |
5m 50s | |
11m 15s | |
5m 3s | |
5m 20s | |
9m 46s | |
5m 33s | |
5m 17s | |
11m 19s | |
3m 16s | |
2m 57s | |
4m 54s | |
9m 38s | |
9m 10s | |
22m 30s | |
3h 11m 53s |