Skip to main content
has_impossible_predicates
rustc_
mir_
transform
1.99.0-nightly
(af3d95584 2026-07-09)
In rustc_
mir_
transform::
impossible_
predicates
rustc_mir_transform
::
impossible_predicates
Function
has_
impossible_
predicates
Copy item path
Source
pub(crate) fn has_impossible_predicates(tcx:
TyCtxt
<'_>, def_id:
DefId
) ->
bool