attempted spec for use-site variance substitution #1029