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