Skip to main content

validate_dependency_interfaces

lemma::planning::discovery

Function validate_dependency_interfaces 

Source 
pub fn validate_dependency_interfaces(
    context: &Context,
    results: &BTreeMap<String, SpecSetPlanningResult>,
) -> Vec<(String, Error)>
Expand description

For each spec with unqualified deps, verify that the dep’s interface (schema) is type-compatible across all dep specs active within the consumer’s effective range. Qualified deps are pinned and skip this check.