// Issue #742
// Issue #405

-- in.cue --
// Issue #129
permanentlyIncompleteOperands: {
	a: string + ":" + string
	a: "golang/go:1.13.5"
}

permanentlyIncompleteOperandsNested: {
	a: (int + 1) + (int + 1)
}

permanentlyIncompleteOperandsDisjunct: {
	a: (int + 1) | (int + 1)
}

issue680: (>10 * 2) & 0

issue405: >=100 <= 200
-- out/eval --
permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
    ./in.cue:3:5
permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
    ./in.cue:3:20
permanentlyIncompleteOperandsNested.a: invalid operand int ('+' requires concrete value):
    ./in.cue:8:6
permanentlyIncompleteOperandsNested.a: invalid operand int ('+' requires concrete value):
    ./in.cue:8:18
permanentlyIncompleteOperandsDisjunct.a: invalid operand int ('+' requires concrete value):
    ./in.cue:12:6
permanentlyIncompleteOperandsDisjunct.a: invalid operand int ('+' requires concrete value):
    ./in.cue:12:18
issue680: invalid operand >10 ('*' requires concrete value):
    ./in.cue:15:12
issue405: invalid operand >=100 ('<=' requires concrete value):
    ./in.cue:17:11
-- out/compile --
permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
    ./in.cue:3:5
permanentlyIncompleteOperands.a: invalid operand string ('+' requires concrete value):
    ./in.cue:3:20
permanentlyIncompleteOperandsNested.a: invalid operand int ('+' requires concrete value):
    ./in.cue:8:6
permanentlyIncompleteOperandsNested.a: invalid operand int ('+' requires concrete value):
    ./in.cue:8:18
permanentlyIncompleteOperandsDisjunct.a: invalid operand int ('+' requires concrete value):
    ./in.cue:12:6
permanentlyIncompleteOperandsDisjunct.a: invalid operand int ('+' requires concrete value):
    ./in.cue:12:18
issue680: invalid operand >10 ('*' requires concrete value):
    ./in.cue:15:12
issue405: invalid operand >=100 ('<=' requires concrete value):
    ./in.cue:17:11
--- in.cue
{
  permanentlyIncompleteOperands: {
    a: ((string + ":") + string)
    a: "golang/go:1.13.5"
  }
  permanentlyIncompleteOperandsNested: {
    a: ((int + 1) + (int + 1))
  }
  permanentlyIncompleteOperandsDisjunct: {
    a: ((int + 1)|(int + 1))
  }
  issue680: ((>10 * 2) & 0)
  issue405: (>=100 <= 200)
}
