=== Message

Change the type of X; type Y does not support membership protocol.


For an expression like "a in X" where X has type Y

