Sean T Allen

Can you give a minimal example?

I think I understand what you are saying and I don't think the example I believe you are giving is an error. A minimal example would be good.

So this works and I think rightly so: ```pony class Foo fun string(x: String = "foo"): String iso^ => x.clone() class Bar fun string(x: String): String iso^ => x.clone() actor...

yeah @jasoncarr0 I don't think this is a bug. I think this is correct. `A.string()` and `B.string()` aren't same method. They have different signatures. I wouldn't consider those to have...

It doesn't support `string()` it supports `string(string)`. When something with a default value is called, it is still string with 1 parameter. not string with no parameters. The sharing of...

So it is again a default so really your example is: ```pony match x | let f: Foo => f.string("foo") | let b: Bar => b.string() end ``` Which I...

I would be very much in favor of enhancing the tutorial to explain that default values in methods do not change the signature.

`The union type should not be constructible with create()` feels more correct to me. But I've put only a little thought into it.

I think we are saying the same thing. It should fail with an error that this generic requires T to be constructable but type unions aren't. Correct?

This is related to: https://github.com/ponylang/ponyc/issues/3727