Function compute_should_show_cast

fn compute_should_show_cast(
    self_def_id: Option<DefId>,
    trait_: &Path,
    self_type: &Type,
) -> bool