Use refresh resolver by default #19505
Annotations
10 errors and 1 warning
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5956
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5836
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
|
|
Run integration tests (non-Windows):
Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
|
Loading