Colin Adams found a bug with assignment attempts and
genericity when writing some classes for the Gobo
project. Eric Bezault managed to reproduce the bug on
a small (attached) example.
When I compile and run this program I get "Wrong",
although C conforms to A [Y].
testcase