#inlinetest:exclude skip: compile errors. TODO: investigates
-- cue.mod/module.cue --
module: "test.com"
language: version: "v0.15.0"
-- in.cue --
top: {
	a: {_}
	b: _
}

scalar: {
	a: {string}
	b: string
	c: {{{number}}}
	d: number
}

// StructCmp works with accepted experiment status
comparison: {
	basicEquality: t: 42 == 42
	typeComparison: err: string == number  // error for non-concrete
	structEquality: t: {name: "test"} == {name: "test"}
	nestedComparison: t: {data: {value: 1}} == {data: {value: 1}}
}
-- out/todo.txt --
It doesn't seem like this should be a compile error.
-- out/evalalpha --
comparison.typeComparison.err: invalid operand string ('==' requires concrete value):
    ./in.cue:16:23
comparison.typeComparison.err: invalid operand number ('==' requires concrete value):
    ./in.cue:16:33
