Use `notypeclasses refine` for `TCIf` and `TCNoBackTrack`.

This came up here: iris!843 (comment 84069)

added 1 commit

• 3beca691 - Use `notypeclasses refine` for `TCIf` and `TCNoBackTrack`.

Compare with previous version

Should we be worried about performance here?

I don't think so since this is only sparsely used, but if you can easily run the timing CI, then better safe than sorry.

Running timing on stdpp changes is a bit annoying, so no this does not qualify as 'easy'.

And you just bumped all dependencies, so now would probably be a good time to merge -- if we then bump them again, we get a timing diff that doesn't include much more than this change.

So, can we merge this (and then bump std++ in Iris ASAP)?

Sounds fine.

merged

mentioned in commit c984afe2