Fix: Formatting within the IDE wasn't working anymore #13812
Annotations
1 error and 6 warnings
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L47
Non-nullable field 'services' must contain a non-null value when exiting constructor. Consider declaring the field as nullable.
|
Source/DafnyLanguageServer/Workspace/ProjectManager.cs#L31
The field 'ProjectManager.services' is never used
|
The logs for this run have expired and are no longer available.
Loading