Struct PolicyConfigDiff 

pub struct PolicyConfigDiff {
    pub workspace_registries_changed: bool,
    pub nuget_user_profile_sources_changed: bool,
    pub gitlab_instance_host_changed: bool,
}

Which leaf fields differ between two PolicyConfig snapshots, at the exact granularity deps-lsp::config::reparse_scope classifies them at.

Deliberately not #[non_exhaustive], unlike every section struct above: deps-lsp::config::reparse_scope destructures this exhaustively (no ..) to guarantee every leaf field is mapped to a ReparseScope decision. Only registries’s three fields are individually parse-affecting today (each scopes a different set of ecosystems), so this carries one bool per leaf field of that section rather than one bool per section — see PolicyConfig::diff’s doc for why the other six sections have no fields here at all.

The E0027 mechanism this design relies on (issue #1064, NFR-004)

PolicyConfig::diff destructures every section of PolicyConfig exhaustively — no .. rest pattern at any level — so a field added to any of the 8 policy section structs without also naming it in that destructuring fails to compile (rustc E0027), exactly as deps-lsp::config::reparse_scope used to enforce directly before issue #592’s guarantee moved here. The doctest below only illustrates that underlying Rust language mechanism on a synthetic, unrelated struct — an exhaustive struct-destructure pattern (no ..) fails to compile once the struct gains a field the pattern does not name. It does not itself re-verify that PolicyConfig::diff’s or reparse_scope’s real destructuring stays ..-free (it would keep passing even if a .. crept into either); a CI grep step (.github/workflows/ci.yml’s doc-and-hygiene job, mirroring that job’s existing test-util leak guard) asserts that instead, on every PR.

struct Example {
    a: bool,
    b: bool,
    // A hypothetical field added later without updating the destructure below — the same
    // shape as adding a field to, say, `SupplyChainConfig` without updating
    // `PolicyConfig::diff`'s destructure of it.
    c: bool,
}

let e = Example { a: true, b: false, c: true };
// Missing `c` here fails with E0027.
let Example { a: _, b: _ } = e;

Fields

workspace_registries_changed: bool

Whether RegistriesConfig::workspace_registries changed.

nuget_user_profile_sources_changed: bool

Whether RegistriesConfig::nuget_user_profile_sources changed.

gitlab_instance_host_changed: bool

Whether RegistriesConfig::gitlab_instance_host changed.

Trait Implementations

impl Clone for PolicyConfigDiff

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for PolicyConfigDiff

impl Debug for PolicyConfigDiff

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PolicyConfigDiff

fn default() -> Self

Returns the “default value” for a type.

impl Eq for PolicyConfigDiff

impl PartialEq for PolicyConfigDiff

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PolicyConfigDiff