SI-6897, lubs and varargs star.

Don't allow lubs to calculate refinement types which contain
a varargs star outside of legal varargs star position.
Merge pull request #1834 from paulp/issue/6897

SI-6897, lubs and varargs star.