Augmenting untyped values with initializers of different type. about language

[jakemac53]

It seems like it should infer the type String for the initial final banana = ... and then there should be an error when the augment final banana inherits that type, and tries to assign a function to it.

Yes, this is how it should work (not sure if it is specified explicitly). In the macro spec we do say this "We don't allow augmentations of existing declarations to contribute to inference, so in phase 3 type inference can be performed.". That should be clarified in the augmentations spec as well though, I don't see it there.

[lrhn]

That's what I expected.

It does mean that var x; cannot be augmented to have a non-dynamic type by providing an initializer. Which I guess i fine, you should type your var x's that shouldn't be dynamic.

[jakemac53]

you should type your var x's that shouldn't be dynamic.

Exactly, without a user-visible initializer at the declaration site I think the explicit type is anyways warranted, even if we could infer types based off of a later provided initializer.

[davidmorgan]

I think the remaining work here is clarifying in the augmentations spec? Thanks.