Reverted ownership and included a change in the message

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

@@ -2488,7 +2488,7 @@ module {:extern "DCOMP"} DafnyToRustCompiler {
  newEnv := env;
  }
  case Print(e) => {
- var printedExpr, recOwnership, recIdents := GenExpr(e, selfIdent, env, OwnershipOwned);
+ var printedExpr, recOwnership, recIdents := GenExpr(e, selfIdent, env, OwnershipBorrowed);
  generated := R.Identifier("print!").Apply([R.LiteralString("{}", false),
  R.dafny_runtime.MSel("DafnyPrintWrapper").Apply1(printedExpr)]);
  readIdents := recIdents;
@@ -2943,7 +2943,7 @@ module {:extern "DCOMP"} DafnyToRustCompiler {
  var Path(_, _, Newtype(b, range, erase, attributes)) := fromTpe;
  var nativeFromType := NewtypeToRustType(b, range);
  if b == toTpe {
- var recursiveGen, recOwned, recIdents := GenExpr(expr, selfIdent, env, expectedOwnership);
+ var recursiveGen, recOwned, recIdents := GenExpr(expr, selfIdent, env, OwnershipOwned);
  readIdents := recIdents;
  match nativeFromType {
  case Some(v) =>

Source/DafnyCore/GeneratedFromDafny/DCOMP.cs

@@ -2301,7 +2301,7 @@ public void GenStmt(DAST._IStatement stmt, Std.Wrappers._IOption<Dafny.ISequence
  RAST._IExpr _out163;
  DCOMP._IOwnership _out164;
  Dafny.ISet<Dafny.ISequence<Dafny.Rune>> _out165;
- (this).GenExpr(_1431_e, selfIdent, env, DCOMP.Ownership.create_OwnershipOwned(), out _out163, out _out164, out _out165);
+ (this).GenExpr(_1431_e, selfIdent, env, DCOMP.Ownership.create_OwnershipBorrowed(), out _out163, out _out164, out _out165);
  _1432_printedExpr = _out163;
  _1433_recOwnership = _out164;
  _1434_recIdents = _out165;
@@ -3186,7 +3186,7 @@ public void GenExprConvertFromNewtype(DAST._IExpression e, Std.Wrappers._IOption
  RAST._IExpr _out214;
  DCOMP._IOwnership _out215;
  Dafny.ISet<Dafny.ISequence<Dafny.Rune>> _out216;
- (this).GenExpr(_1499_expr, selfIdent, env, expectedOwnership, out _out214, out _out215, out _out216);
+ (this).GenExpr(_1499_expr, selfIdent, env, DCOMP.Ownership.create_OwnershipOwned(), out _out214, out _out215, out _out216);
  _1509_recursiveGen = _out214;
  _1510_recOwned = _out215;
  _1511_recIdents = _out216;

Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/maps.dfy.rs.check

@@ -1 +1 @@
-// CHECK: .*<i>Coercion\ from\ ::std::rc::Rc<super::_module::MyClass>\ to\ _K</i>.*
+// CHECK-L: error[E0308]: mismatched types

Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/NativeNumbers.dfy.rs.check

@@ -1 +1 @@
-// CHECK-L: error[E0107]: method takes 0 generic arguments but 1 generic argument was supplied
+// CHECK-L: error[E0308]: mismatched types

Source/IntegrationTests/TestFiles/LitTests/LitTest/dafny0/Strings.dfy.rs.check

@@ -1 +1 @@
-// CHECK: .*<i>Char literal without unicode char enabled</i>.*
+// CHECK-L: Unhandled exception: System.ArgumentException: Value does not fall within the expected range.

Source/IntegrationTests/TestFiles/LitTests/LitTest/dafny4/Regression2.dfy.rs.check

@@ -1 +1 @@
-// CHECK-L: Unhandled exception: System.IO.IOException: The process cannot access the file 'C:\vscode\settings.json' because it is being used by another process.
+// CHECK-L: error[E0308]: mismatched types

Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-374.dfy.rs.check

@@ -1 +1 @@
-// CHECK-L: error[E0599]: no associated item named `_allocated` found for struct `C` in the current scope
+// CHECK-L: error[E0308]: mismatched types

Source/IntegrationTests/TestFiles/LitTests/LitTest/unicodecharsFalse/comp/NativeNumbers.dfy.rs.check

@@ -1 +1 @@
-// CHECK: .*<i>Cannot\ assign\ null\ value\ to\ variable</i>.*
+// CHECK: error[E0308]: mismatched types