tftypes: Type should implement AttributePathStepper

[bflad]

terraform-plugin-go version

v0.4.0

Use cases

Given this code in the downstream terraform-plugin-framework:

https://github.com/hashicorp/terraform-plugin-framework/blob/2cedf45c2bf94bfb82ff65b1402b3fd75a806aa4/tfsdk/plan.go#L199-L284

It would not correctly be able handle cases where the schema (framework's) type is DynamicPseudoType, but the value itself is concrete.

Attempted solutions

Looking up types via the wrapping type system, however this will only work as long as the framework's type system is 1:1 with Terraform's concrete type system. In the case of DynamicPseudoType constraints, this assumption can no longer work.

Proposal

Allow Type to be walked by attribute path by implementing AttributePathStepper. This would allow downstream logic to use tftypes.WalkAttributePath(/* tftypes.Type */, /* *tftypes.AttributePath */) to correctly determine a type at a given path.

References

• tfsdk: Allow Plan and State SetAttribute to create attribute paths terraform-plugin-framework#165

[github-actions]

I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.
If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.