Erase ghost code in a separate phase #19231
Annotations
1 error and 3 warnings
|
Run integration tests (non-Windows)
Process completed with exit code 1.
|
|
Run integration tests (non-Windows):
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Run integration tests (non-Windows):
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Run integration tests (non-Windows):
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
Loading