Fix: Explicit assertions no longer considered implicit for code actions #19992
Annotations
3 errors
|
Build Dafny with local Boogie:
Source/DafnyLanguageServer.Test/CodeActions/CodeActionsTest.cs#L14
'Range' is an ambiguous reference between 'OmniSharp.Extensions.LanguageServer.Protocol.Models.Range' and 'System.Range'
|
|
Build Dafny with local Boogie:
Source/DafnyLanguageServer.Test/CodeActions/CodeActionsTest.cs#L14
'Range' is an ambiguous reference between 'OmniSharp.Extensions.LanguageServer.Protocol.Models.Range' and 'System.Range'
|
|
Build Dafny with local Boogie
Process completed with exit code 1.
|
Loading