This is the behavior in every version I tried, and I reviewed the FAQ for entries about function union assignability and overload resolution. A type error should be ...