Function visit_implementation_of_coerce_pointee_validity 

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