renameType
Rewrite every classifier reachable from t. Types nest through arguments, abbreviation, outer type and the flexible upper bound, so touching the classifier alone would miss most of a generic signature.
Rewrite every classifier reachable from t. Types nest through arguments, abbreviation, outer type and the flexible upper bound, so touching the classifier alone would miss most of a generic signature.