add explicit error message on unmatched patterns when constructors are involved (see #3194)