We could generate `implicltly[ClassTag].runtimeClass.isInstance(a) && a.isInstanceOf[Bar]`

For `_: C with D` we already generate `a.isInstanceOf[C] && a.isInstanceOf[D]`, but this is done quite late (in erasure), and it would be tricky to integrate that with the classtag based tests, which are added much earlier.