pub fn diagnose(
suite: &Suite,
prec: &Precedence,
conflicts: &[Conflict],
) -> Vec<Diagnostic>Expand description
Errors for unsettled conflicts, warnings for overrides that settle nothing, and errors for a Background that breaks an invariant.