Support upstream Required when used with DefaultFunc

[guineveresaenger]

What happened?

Sometimes, the upstream schema sets Required on a resource field but also uses a DefaultFunc.

When this is the case, the pulumi field becomes Required, even though is behavior is not. The bridge should set the field in question to Optional on our end so that users don't have to pass nonsense values just so their code can run.

Example

See pulumi/pulumi-vault#509 - in question is the token field for pulumi-vault's config.

Output of pulumi about

n/a

Additional context

hashicorp/terraform-provider-vault#2237 (comment) explains the reasoning/history.

Docs for Required
Docs for DefaultFunc

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).