/// Subclass of Error for the sole purpose of identifying the success path in
/// the type system. This allows to catch invalid conversion to Expected<T> at
/// compile time.
-class ErrorSuccess : public Error {};
+class ErrorSuccess final : public Error {};
inline ErrorSuccess Error::success() { return ErrorSuccess(); }
/// show more detailed information to the user.
class FileError final : public ErrorInfo<FileError> {
- template <class Err>
- friend Error createFileError(std::string, Err);
+ friend Error createFileError(std::string, Error);
public:
void log(raw_ostream &OS) const override {
/// Concatenate a source file path and/or name with an Error. The resulting
/// Error is unchecked.
-template <class Err>
-inline Error createFileError(std::string F, Err E) {
+inline Error createFileError(std::string F, Error E) {
return FileError::build(F, std::move(E));
}
+Error createFileError(std::string F, ErrorSuccess) = delete;
+
/// Helper for check-and-exit error handling.
///
/// For tool use only. NOT FOR USE IN LIBRARY CODE.
},
"");
#endif
+ // Not allowed, would fail at compile-time
+ //consumeError(createFileError("file.bin", ErrorSuccess()));
+
Error E1 = make_error<CustomError>(1);
Error FE1 = createFileError("file.bin", std::move(E1));
EXPECT_EQ(toString(std::move(FE1)).compare("'file.bin': CustomError {1}"), 0);