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