Inhibit substitution of let variables whenever the arg variable type is
not a subtype of the asserted type, not just when the arg *value* is nota subtype. This is necessary to prevent representation selection from being defeated.
Please register or sign in to comment