pub fn promote(entries: &mut [Entry], findings: &[Finding])
Constraints whose check passes on the current code are enforced (T4).