pub struct Lock {
pub tiers: BTreeMap<String, Tier>,
}Expand description
The persisted previous solution — §3.4’s stability guardrail.
A one-line edit must not re-place unrelated code. Nothing in the cost model prevents that on its own: costs are a function of the whole program, so a new definition shifts them everywhere. The lock is what turns “the solver happens to agree with yesterday” into “the solver is asked to agree with yesterday, and says so when it cannot” — a tie-break and a record, never an override, because a lock that could force an illegal placement would be a way to defeat §3.5.
Fields§
§tiers: BTreeMap<String, Tier>Implementations§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for Lock
impl RefUnwindSafe for Lock
impl Send for Lock
impl Sync for Lock
impl Unpin for Lock
impl UnwindSafe for Lock
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more