class PatternMatchingError

@private Special contract error used internally to detect pattern failure during pattern matching