Function check_impl 

fn check_impl(
    ctx: &AstCtx<'_>,
    item: &Impl,
    facts: &LocalFacts,
    threshold: usize,
) -> Vec<Violation>