should default constructors use field types as their argument types?

[JeffBezanson]

Currently the default constructor for:

type Foo
  x::A
  y::B
end

will have the signature Foo(Any,Any), and whatever you pass will be converted (as with any field assignment). Maybe we should change this to Foo(A,B) to make it harder to make unintended objects.

[StefanKarpinski]

+1

[StefanKarpinski]

This will not only be safer but also way easier to explain (usually a good sign). If someone wants conversion semantics, they can write a custom constructor function. It's easy to do if you want it.

[JeffBezanson]

OK, done. I only needed to change one type declaration. Be on the lookout for others.