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