rustup

RalfJung · RalfJung · commit 4b9abdaa504b · 2020-04-22T23:43:54.000+02:00
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-9b2f8dbba39dd4167f22a7026674a585c3d907d8
+b2e36e6c2d229126b59e892c9147fbb68115d292
diff --git a/src/eval.rs b/src/eval.rs
@@ -98,6 +98,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
         start_id,
         tcx.mk_substs(::std::iter::once(ty::subst::GenericArg::from(main_ret_ty))),
     )
+    .unwrap()
     .unwrap();
 
     // First argument: pointer to `main()`.

Original file line number	Diff line number	Diff line change
`@@ -98,6 +98,7 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(`
`98`	`98`	`start_id,`
`99`	`99`	`tcx.mk_substs(::std::iter::once(ty::subst::GenericArg::from(main_ret_ty))),`
`100`	`100`	`)`
	`101`	`+ .unwrap()`
`101`	`102`	`.unwrap();`
`102`	`103`
`103`	`104`	// First argument: pointer to `main()`.