test: Add a test for variance in trait matching.

I believe that #5781 got fixed by the DST work. It duplicated the
variance inference work in #12828. Therefore, all that is left in #5781
is adding a test.

Closes #5781.

r? @huonw
This doesn't need `unsafe` because the effect pass runs after the type checker?