Skip to main content
instantiate_and_check_impossible_predicates
rustc_
middle
1.95.0-beta.1
(ad726b506 2026-03-05)
In rustc_
middle::
queries::
_
analyzer_
hints
rustc_middle
::
queries
::
_analyzer_hints
Function
instantiate_
and_
check_
impossible_
predicates
Copy item path
Source
fn instantiate_and_check_impossible_predicates<'tcx>() ->
bool