Test for use-site variance in type signatures #1729