Use IOrigin type in most locations where RangeToken is used
#9307
keyboardDrummerruntime-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
4s
build
2m 0s
Annotations
10 errors and 5 warnings
|
build:
Source/DafnyCore/Rewriters/RefinementTransformer.cs#L1658
Argument 2: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
build:
Source/DafnyCore/Verifier/BoogieGenerator.Methods.cs#L1667
'IOrigin' does not contain a definition for 'Contains' and the best extension method overload 'MemoryExtensions.Contains<IOrigin>(ReadOnlySpan<IOrigin>, IOrigin)' requires a receiver of type 'System.ReadOnlySpan<Microsoft.Dafny.IOrigin>'
|
|
build:
Source/DafnyCore/Verifier/BoogieGenerator.Methods.cs#L1693
'IOrigin' does not contain a definition for 'Contains' and the best extension method overload 'MemoryExtensions.Contains<IOrigin>(ReadOnlySpan<IOrigin>, IOrigin)' requires a receiver of type 'System.ReadOnlySpan<Microsoft.Dafny.IOrigin>'
|
|
build:
Source/DafnyCore/Verifier/Datatypes/BoogieGenerator.DataTypes.cs#L168
Argument 1: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
build:
Source/DafnyCore/ProofDependencyWarnings.cs#L177
Cannot implicitly convert type 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'. An explicit conversion exists (are you missing a cast?)
|
|
build:
Source/DafnyCore/ProofDependencyWarnings.cs#L183
Cannot implicitly convert type 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'. An explicit conversion exists (are you missing a cast?)
|
|
build:
Source/DafnyCore/Generic/NodeExtensions.cs#L154
'IOrigin' does not contain a definition for 'ToDafnyRange' and no accessible extension method 'ToDafnyRange' accepting a first argument of type 'IOrigin' could be found (are you missing a using directive or an assembly reference?)
|
|
build:
Source/DafnyCore/Generic/ErrorRegistry.cs#L33
'IOrigin' does not contain a definition for 'ToDafnyRange' and no accessible extension method 'ToDafnyRange' accepting a first argument of type 'IOrigin' could be found (are you missing a using directive or an assembly reference?)
|
|
build:
Source/DafnyCore/Resolver/ModuleResolver.cs#L871
Argument 2: cannot convert from 'Microsoft.Dafny.IOrigin' to 'Microsoft.Dafny.RangeToken'
|
|
build:
Source/DafnyCore/Generic/EmptyNode.cs#L7
Cannot create an instance of the abstract type or interface 'IOrigin'
|
|
build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build:
Source/DafnyCore/AST/Tokens.cs#L162
'BoogieRangeOrigin.StartToken' hides inherited member 'OriginWrapper.StartToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
build:
Source/DafnyCore/AST/Tokens.cs#L163
'BoogieRangeOrigin.EndToken' hides inherited member 'OriginWrapper.EndToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
build:
Source/DafnyCore/AST/Tokens.cs#L162
'BoogieRangeOrigin.StartToken' hides inherited member 'OriginWrapper.StartToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|
|
build:
Source/DafnyCore/AST/Tokens.cs#L163
'BoogieRangeOrigin.EndToken' hides inherited member 'OriginWrapper.EndToken'. To make the current member override that implementation, add the override keyword. Otherwise add the new keyword.
|