Skip to content

remove notypeclasses apply; it is somehow very slow

Ralf Jungrequested to merge
ralf/no-notypeclasses-apply into master

In iris!1101 we noticed this tactic is very slow. I have no clue why. But meanwhile, let's not make other people fall into that trap.

Merge request reports