fn eval_lock_value_inner( hir: &Hir<'_>, expr: &Expr<'_>, lock_var: Option<VariableId>, entered: Option<LockValue>, seen: &mut BTreeSet<VariableId>, ) -> Option<LockValue>