Function is_ty_uninhabited_from 

pub(crate) fn is_ty_uninhabited_from<'db>(
    infcx: &InferCtxt<'db>,
    ty: Ty<'db>,
    target_mod: ModuleId,
    env: ParamEnv<'db>,
) -> bool

Checks whether a type is visibly uninhabited from a particular module.