Are function types a requirement?

[Neal Gafter]

On Fri, Feb 19, 2010 at 3:04 PM, Reinier Zwitserloot <
reinier at zwitserloot.com> wrote:

> I believe I mentioned that chaining varargs into another varargs is
> actually allowed (and, as the same rules apply to the chained method, does
> not weaken type safety, unless you mix compilation units compiled by
> different versions of java, an act which has always had ample opportunity
> for uncaught type errors). If not, that's an omission in putting it down in
> this thread, it's always been part of this set of rules.
>

I'm afraid it does weaken type safety.  A varargs method can override, and
be overridden by, a non-varargs method.