update vendor and go.mod

[github/fretlink/terraform-provider-statuscake.git] / vendor / github.com / hashicorp / hcl2 / hcl / hclsyntax / expression.go

diff --git a/vendor/github.com/hashicorp/hcl2/hcl/hclsyntax/expression.go b/vendor/github.com/hashicorp/hcl2/hcl/hclsyntax/expression.go
index 26819a2dafcc3113e7cff5ec7176f8edff9eda1a..d3f7a74d399adac5f00f73aca01581535ccd3b67 100644 (file)
--- a/vendor/github.com/hashicorp/hcl2/hcl/hclsyntax/expression.go
+++ b/vendor/github.com/hashicorp/hcl2/hcl/hclsyntax/expression.go
@@ -473,8 +473,35 @@ func (e *ConditionalExpr) Value(ctx *hcl.EvalContext) (cty.Value, hcl.Diagnostic
        falseResult, falseDiags := e.FalseResult.Value(ctx)
        var diags hcl.Diagnostics
 
-       // Try to find a type that both results can be converted to.
-       resultType, convs := convert.UnifyUnsafe([]cty.Type{trueResult.Type(), falseResult.Type()})
+       resultType := cty.DynamicPseudoType
+       convs := make([]convert.Conversion, 2)
+
+       switch {
+       // If either case is a dynamic null value (which would result from a
+       // literal null in the config), we know that it can convert to the expected
+       // type of the opposite case, and we don't need to speculatively reduce the
+       // final result type to DynamicPseudoType.
+
+       // If we know that either Type is a DynamicPseudoType, we can be certain
+       // that the other value can convert since it's a pass-through, and we don't
+       // need to unify the types. If the final evaluation results in the dynamic
+       // value being returned, there's no conversion we can do, so we return the
+       // value directly.
+       case trueResult.RawEquals(cty.NullVal(cty.DynamicPseudoType)):
+               resultType = falseResult.Type()
+               convs[0] = convert.GetConversionUnsafe(cty.DynamicPseudoType, resultType)
+       case falseResult.RawEquals(cty.NullVal(cty.DynamicPseudoType)):
+               resultType = trueResult.Type()
+               convs[1] = convert.GetConversionUnsafe(cty.DynamicPseudoType, resultType)
+       case trueResult.Type() == cty.DynamicPseudoType, falseResult.Type() == cty.DynamicPseudoType:
+               // the final resultType type is still unknown
+               // we don't need to get the conversion, because both are a noop.
+
+       default:
+               // Try to find a type that both results can be converted to.
+               resultType, convs = convert.UnifyUnsafe([]cty.Type{trueResult.Type(), falseResult.Type()})
+       }
+
        if resultType == cty.NilType {
                return cty.DynamicVal, hcl.Diagnostics{
                        {