Fix missing variance check for abstract set with asymmetric type (#15157)

Fixes GH-15140