fn visit_implementation_of_copy(
    checker: &Checker<'_>
) -> Result<(), ErrorGuaranteed>