fix linter errors

Avaneesh-axiom · Avaneesh-axiom · commit d9ad9cde736f · 2025-01-22T18:41:36.000-05:00
diff --git a/extensions/ecc/te-setup/src/lib.rs b/extensions/ecc/te-setup/src/lib.rs
@@ -115,8 +115,8 @@ pub fn te_declare(input: TokenStream) -> TokenStream {
                         let y1y2 = p1.y() * p2.y();
                         let dx1x2y1y2 = Self::CURVE_D * x1x2 * y1y2;
 
-                        let x3 = (x1y2 + y1x2).div_unsafe(&(Self::Coordinate::ONE + dx1x2y1y2));
-                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(Self::Coordinate::ONE - dx1x2y1y2));
+                        let x3 = (x1y2 + y1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE + dx1x2y1y2));
+                        let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE - dx1x2y1y2));
 
                         #struct_name { x: x3, y: y3 }
                     }

Original file line number	Diff line number	Diff line change
`@@ -115,8 +115,8 @@ pub fn te_declare(input: TokenStream) -> TokenStream {`
`115`	`115`	`let y1y2 = p1.y() * p2.y();`
`116`	`116`	`let dx1x2y1y2 = Self::CURVE_D * x1x2 * y1y2;`
`117`	`117`
`118`		`- let x3 = (x1y2 + y1x2).div_unsafe(&(Self::Coordinate::ONE + dx1x2y1y2));`
`119`		`- let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(Self::Coordinate::ONE - dx1x2y1y2));`
	`118`	`+ let x3 = (x1y2 + y1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE + dx1x2y1y2));`
	`119`	`+ let y3 = (y1y2 - Self::CURVE_A * x1x2).div_unsafe(&(<Self as openvm_ecc_guest::edwards::TwistedEdwardsPoint>::Coordinate::ONE - dx1x2y1y2));`
`120`	`120`
`121`	`121`	`#struct_name { x: x3, y: y3 }`
`122`	`122`	`}`