Erase ghost code in a separate phase #10280
Annotations
1 error and 6 warnings
|
Check Error Catalog examples
Process completed with exit code 1.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L126
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L131
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
|
Build Dafny:
Source/DafnyCore/Backends/SymbolTable.cs#L141
The annotation for nullable reference types should only be used in code within a '#nullable' annotations context.
|
Loading