Really any language that compiles and optimizes methods over specific types. In such cases where arbitrarily many input types are generated, perhaps more than they are reused, there’s @nospecialize
and @nospecializeinfer
to opt out.
3 Likes