we do this these days

RalfJung · RalfJung · commit 11686f4be23d · 2019-07-10T14:38:49.000+02:00
diff --git a/src/eval.rs b/src/eval.rs
@@ -108,7 +108,6 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(
         ecx.machine.argc = Some(argc_place.ptr.to_ptr()?);
     }
 
-    // FIXME: extract main source file path.
     // Third argument (`argv`): created from `config.args`.
     let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?;
     // For Windows, construct a command string with all the aguments.

Original file line number	Diff line number	Diff line change
`@@ -108,7 +108,6 @@ pub fn create_ecx<'mir, 'tcx: 'mir>(`
`108`	`108`	`ecx.machine.argc = Some(argc_place.ptr.to_ptr()?);`
`109`	`109`	`}`
`110`	`110`
`111`		`- // FIXME: extract main source file path.`
`112`	`111`	// Third argument (`argv`): created from `config.args`.
`113`	`112`	`let dest = ecx.eval_place(&mir::Place::Base(mir::PlaceBase::Local(args.next().unwrap())))?;`
`114`	`113`	`// For Windows, construct a command string with all the aguments.`