Constructs a new SynthesizedError.
Optional
causeOptional
contextOptional
moduleOptional
originGet the unique identifier for the error.
The unique identifier.
Get a description of the severity level.
The severity description.
A simple getter method.
A fixed string "works".
Class representing a synthesized error, which is an error that is clearly identified and ready to be handled immediately.