cuelang.org/go@v0.10.1/tools/trim/testdata/remove_due_to_simplification.txtar (about)

     1  -- in.cue --
     2  foo: [string]: {
     3  	t: [string]: {
     4  		x: >=0 & <=5
     5  	}
     6  }
     7  
     8  foo: multipath: {
     9  	t: [string]: {
    10  		// Combined with the other constraints, we know the value must be 5 and
    11  		// thus the entry below can be eliminated.
    12  		x: >=5 & <=8 & int
    13  	}
    14  
    15  	t: u: { x: 5 }
    16  }
    17  
    18  group: {
    19  	for k, v in foo {
    20  		comp: "\(k)": v
    21  	}
    22  }
    23  -- out/trim --
    24  == in.cue
    25  foo: [string]: {
    26  	t: [string]: {
    27  		x: >=0 & <=5
    28  	}
    29  }
    30  
    31  foo: multipath: {
    32  	t: [string]: {
    33  		// Combined with the other constraints, we know the value must be 5 and
    34  		// thus the entry below can be eliminated.
    35  		x: >=5 & <=8 & int
    36  	}
    37  
    38  	t: u: {}
    39  }
    40  
    41  group: {
    42  	for k, v in foo {
    43  		comp: "\(k)": v
    44  	}
    45  }