pub(crate) fn implied_predicates_of<'tcx>() -> DynamicQuery<'tcx, Storage<'tcx>>