# DO NOT EDIT; generated by go run testdata/gen.go
#
raw: true
-- in.cue --
{a: *"foo" | *"bar" | *string | int, b: a[2:3]}
-- out/def --
a: *string | int
b: _|_ // cannot slice a (type string)