/// <summary> /// Create a new solution instance with the project specified updated to have /// the specified parse options. /// </summary> public Solution WithProjectParseOptions(ProjectId projectId, ParseOptions options) { var newState = _state.WithProjectParseOptions(projectId, options); if (newState == _state) { return(this); } return(new Solution(newState)); }