Function check_shadowed_uses 

pub fn check_shadowed_uses(
    typed: &TypedCommons,
    scope: &ShadowScope<'_>,
) -> Vec<CompileError>

Report every crossing in typed’s bodies: fns and methods (with their contracts), service and agent handlers, agent invariants and transitions, and provider operations. Empty when no imported declaration reaches a shadowed type, which is the common case and costs one check.