Fields with default values should not be required

[iwahbe]

What happened?

Fields where Annotator.SetDefault is in effect but not marked as pulumi:...,optional are still treated as required in the schema.

Expected Behavior

They should be optional in the schema. Fields with non-nil default values will always be provided. Fields not annotated as optional but with provided ENV values should be marked as optional in the schema and error at runtime if no value is provided.

Steps to reproduce

Remove the resources.provider.properties.password in credentials/consumer/Pulumi.yaml. Then run FOO=password pulumi up.

Output of pulumi about

NA

Additional context

No response

Contributing

Vote on this issue by adding a 👍 reaction.
To contribute a fix for this issue, leave a comment (and link to your pull request, if you've opened one already).