The following combination is needed:

• an interface IX with at least one getter/setter pair
• a trait IY extending IX
• a class K implementing IX
• a jittable constraint on IX

The constraint is first triggered by an "instance" of IY,
but jitted by an instance of K.
The condition analyzer assumes that IY is the natural
domain of the constratint, rather than IX. The jitted
constraint will then try to cast K to IY, resulting in
a disruptive CCE