tests for assignability with use-site variance