Function weakening_edit 

pub fn weakening_edit(
    op: &str,
    path: &[EditStep<'_>],
    value: Option<&str>,
    fields: &[WeakeningField<'_>],
) -> bool

Whether the field edit op at path, setting value (JSON text) when it is a set, can weaken one of fields: a set of the field itself to a weaker value, and any other edit at or below it, which is not read.