Skip to main content

inhabited_predicate_adt

Function inhabited_predicate_adt 

Source
fn inhabited_predicate_adt<'tcx>() -> InhabitedPredicate<'tcx>