Update references to optional type construction

google · Nov 8, 2022 · dd7f4ed · dd7f4ed
1 parent 6160484
commit dd7f4ed
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/checker/checker.go b/checker/checker.go
@@ -249,7 +249,7 @@ func (c *checker) checkSelectField(e, operand *exprpb.Expr, field string, option
 
 	// If the target type was optional coming in, then the result must be optional going out.
 	if isOpt || optional {
-		return decls.NewAbstractType("optional", resultType)
+		return decls.NewOptionalType(resultType)
 	}
 	return resultType
 }

diff --git a/checker/checker_test.go b/checker/checker_test.go
@@ -2073,7 +2073,7 @@ _&&_(_==_(list~type(list(dyn))^list,
 		in: `has(a.dynamic)`,
 		env: testEnv{
 			idents: []*exprpb.Decl{
-				decls.NewVar("a", decls.NewAbstractType("optional", decls.Dyn)),
+				decls.NewVar("a", decls.NewOptionalType(decls.Dyn)),
 			},
 		},
 		outType: decls.Bool,
@@ -2083,7 +2083,7 @@ _&&_(_==_(list~type(list(dyn))^list,
 		in: `has(a.?b.c)`,
 		env: testEnv{
 			idents: []*exprpb.Decl{
-				decls.NewVar("a", decls.NewAbstractType("optional", decls.NewMapType(decls.String, decls.Dyn))),
+				decls.NewVar("a", decls.NewOptionalType(decls.NewMapType(decls.String, decls.Dyn))),
 			},
 		},
 		outType: decls.Bool,