Open davidchambers opened 4 years ago
This is tricky. The current behaviour is what allows us to underline a particular field of a record type in error messages.
We want strict behaviour in the context of $.test
but forgiving behaviour when generating error messages. :thinking:
This expression erroneously evaluates to
true
:The problem is that the supertype membership test uses
t._test (env) (x)
, but a record type's_test
method only determines whether the field names are present.