At this point, it's still not clear to be whether we want to have invariant bounds or not. Based on the discussion in #2687 they ought to be contravariant. I think this needs to be discussed further in a meeting so it gets enough attention.