diff --git a/compiler/value.go b/compiler/value.go
index cfcddbc0..372070ad 100644
--- a/compiler/value.go
+++ b/compiler/value.go
@@ -156,7 +156,10 @@ func (v *Value) IsConcrete() bool {
 
 // Recursive concreteness check.
 func (v *Value) IsConcreteR(opts ...cue.Option) error {
-	o := []cue.Option{cue.Concrete(true)}
+	o := []cue.Option{
+		cue.Concrete(true),
+		cue.Hidden(true),
+	}
 	o = append(o, opts...)
 	return v.val.Validate(o...)
 }