Function rustc_query_impl::make_query::conservative_is_privately_uninhabited

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

Checks whether a type is definitely uninhabited. This is conservative: for some types that are uninhabited we return false, but we only return true for types that are definitely uninhabited. ty.conservative_is_privately_uninhabited implies that any value of type ty will be Abi::Uninhabited. (Note that uninhabited types may have nonzero size, to account for partial initialisation. See #49298 for details.)