Chore: Rust refactorings followup

Makefile

@@ -47,7 +47,7 @@ test-dafny:
 		echo "$$count test files found."; \
 		for file in $$files; do \
 			filedir=$$(dirname "$$file"); \
-			(cd "${DIR}/Source/IntegrationTests/TestFiles/LitTests/LitTest/$${filedir}"; "${DIR}"/Binaries/Dafny $(action)  "$$(basename $$file)" ); \
+			(cd "${DIR}/Source/IntegrationTests/TestFiles/LitTests/LitTest/$${filedir}"; dotnet run --project "${DIR}"/Source/Dafny -- $(action)  "$$(basename $$file)" ); \
 		done; \
 	fi
 

Source/DafnyCore/Backends/Rust/Dafny-compiler-rust.dfy

@@ -2201,7 +2201,8 @@ module {:extern "DCOMP"} DafnyToRustCompiler {
               case Eq(referential) => {
                 if (referential) {
                   if pointerType.Raw? {
-                    r := Error("Raw pointer comparison not properly implemented yet (need to make comp/rust/traits.dfy to pass with --raw-pointer)");
+                    // Need to make comp/rust/traits.dfy to pass with --raw-pointer)
+                    r := Error("Raw pointer comparison not properly implemented yet");
                   } else {
                     r := R.BinaryOp("==", left, right, DAST.Format.BinaryOpFormat.NoFormat());
                   }

Source/DafnyCore/GeneratedFromDafny/DCOMP.cs

@@ -3215,7 +3215,7 @@ public void GenExprBinary(DAST._IExpression e, Defs._ISelfInfo selfIdent, Defs._
                   if (_14_referential) {
                     if (((this).pointerType).is_Raw) {
                       RAST._IExpr _out6;
-                      _out6 = (this).Error(Dafny.Sequence<Dafny.Rune>.UnicodeFromString("Raw pointer comparison not properly implemented yet (need to make comp/rust/traits.dfy to pass with --raw-pointer)"), (this).InitEmptyExpr());
+                      _out6 = (this).Error(Dafny.Sequence<Dafny.Rune>.UnicodeFromString("Raw pointer comparison not properly implemented yet"), (this).InitEmptyExpr());
                       r = _out6;
                     } else {
                       r = RAST.Expr.create_BinaryOp(Dafny.Sequence<Dafny.Rune>.UnicodeFromString("=="), _8_left, _11_right, DAST.Format.BinaryOpFormat.create_NoFormat());