hmm, that’s unfortunate. that looks like a bug in tfgen (github.com/pulumi/pulumi-terraform)