Skip to main content

phase_validate_providers

Function phase_validate_providers 

Source
pub fn phase_validate_providers(
    unit_tables: &HashMap<String, UnitTable>,
    groups: &BTreeMap<String, Vec<usize>>,
    parsed: &[ParsedFile],
    errors: &mut ErrorSink,
    tys: &Arc<Types>,
)
Expand description

Phase 6c: validate that every (non-external) provider matches its capability exactly — each capability op has a provider op, and every provider op has a matching capability op with the same parameter and return types. Diagnostics go into errors.