Function push_eval_frame 

pub fn push_eval_frame(file: Option<PathBuf>) -> EvalFileGuard

Push a frame that may be fileless. None means “this code has no source file” and MUST still occupy a stack slot — pushing nothing would leave the caller’s file visible to current_eval_file, which is exactly the unsafeGetAttrPos divergence documented on EVAL_FILE_STACK.