Function is_ty_uninhabited_from 

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

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