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