internal/core/validate: more cases to ignore concreteness

Change-Id: I6a7c14cd96841c311945ebcaf25ac369081a2917
Reviewed-on: https://cue-review.googlesource.com/c/cue/+/6705
Reviewed-by: CUE cueckoo <cueckoo@gmail.com>
Reviewed-by: Marcel van Lohuizen <mpvl@golang.org>
diff --git a/internal/core/validate/validate_test.go b/internal/core/validate/validate_test.go
index 3d0e0df..a47afbd 100644
--- a/internal/core/validate/validate_test.go
+++ b/internal/core/validate/validate_test.go
@@ -149,6 +149,16 @@
 		in: `
 		x: *1 | 2
 		`,
+	}, {
+		desc: "allow non-concrete in definitions in concrete mode",
+		cfg:  &Config{Concrete: true},
+		in: `
+		x: 2
+		#d: {
+			b: int
+			c: b + b
+		}
+		`,
 	}}
 
 	r := runtime.New()