55   return op->emitOpError(  in verifyHasBindingUse()
95     return emitOpError("expected at least one argument");  in verify()
105     return emitOpError("expected at least one argument or result");  in verify()
119       return emitOpError(  in verify()
124     return emitOpError("expected only one of [`type`, `value`] to be set");  in verify()
223           .emitOpError("must have inferable or constrained result types when "  in verifyResultTypesAreInferrable()
257         .emitOpError("must have inferable or constrained result types when "  in verifyResultTypesAreInferrable()
268     return emitOpError("must have an operation name when nested within "  in verify()
273     return emitOpError()  in verify()
315     return emitOpError("expected body to terminate with `pdl.rewrite`")  in verifyRegions()
324       emitOpError("expected only `pdl` operations within the pattern body")  in verifyRegions()
336     return emitOpError("the pattern must contain at least one `pdl.operation`");  in verifyRegions()
372       return emitOpError("the operations must form a connected component")  in verifyRegions()
404     return emitOpError() << "expected no replacement values to be provided"  in verify()
432     return emitOpError() << "expected `pdl.range<value>` result type when "  in verify()
449       return emitOpError()  in verifyRegions()
457     return emitOpError() << "expected rewrite region to be non-empty if "  in verifyRegions()
463     return emitOpError() << "expected no external arguments when the "  in verifyRegions()