Function visit_impl

pub fn visit_impl(
    block: &Loc<ImplBlock>,
    ctx: &mut Context,
) -> Result<Vec<Item>>