Fix: Factorization of all paths in the generated Rust AST #19039
Annotations
30 warnings
|
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6325
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6357
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6596
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6965
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6966
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
The logs for this run have expired and are no longer available.
Loading