Function visit_implementation_of_dispatch_from_dyn 

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