Fix unhelpful error found when there is an unimplemented feature.#700

Merged

emilyaherbert merged 2 commits intomasterfrom emilyaherbert-415/remove-unhelpful-error-message

Jan 25, 2022

+10-6

Commits on Jan 25, 2022

Don't report type mismatch if one of the types is error recovery.
emilyaherbert
committed
Turn silent mode back on.
emilyaherbert
committed