# DO NOT EDIT; generated by go run testdata/gen.go
#
raw: true
-- in.cue --
{a: >=0 & <=10, b: "Count: \(a) times"}
-- out/def --
a: >=0 & <=10
b: "Count: \(a) times"
-- out/compile --
--- in.cue
{
  {
    a: (>=0 & <=10)
    b: "Count: \(〈0;a〉) times"
  }
}
-- out/eval --
Errors:
b: invalid interpolation: cannot use >=0 & <=10 (type number) as type string:
    ./in.cue:1:20

Result:
(_|_){
  // [eval]
  a: (number){ &(>=0, <=10) }
  b: (_|_){
    // [eval] b: invalid interpolation: cannot use >=0 & <=10 (type number) as type string:
    //     ./in.cue:1:20
  }
}