Function rustc_query_impl::make_query::type_uninhabited_from

pub fn type_uninhabited_from<'tcx>(
    tcx: QueryCtxt<'tcx>, 
    key: type_uninhabited_from<'tcx>
) -> QueryStackFrame

Computes the set of modules from which this type is visibly uninhabited. To check whether a type is uninhabited at all (not just from a given module), you could check whether the forest is empty.