Cache the result of sub_one_annotation
which happens during the construction of "BadType". Also update types on the signatures along the way.
#2343
Loading