/// <inheritdoc/>
public override Workspace WithExtraFailures(IEnumerable <Failure> failures)
{
Contract.Requires(failures != null);
return(new SemanticWorkspace(WorkspaceProvider, WorkspaceConfiguration, SpecModules, PreludeModule, ConfigurationModule, m_semanticModel, Failures.Union(failures).ToList()));
}