Auto merge of #137927 - matthiaskrgr:rollup-yj463ns, r=matthiaskrgr

Rollup of 9 pull requests
Successful merges:
- #132388 (Implement `#[cfg]` in `where` clauses)
- #134900 (Fix parsing of ranges after unary operators)
- #136938 (Remove `:` from `stack-protector-heuristics-effect.rs` Filecheck Pattern)
- #137054 (Make phantom variance markers transparent)
- #137525 (Simplify parallelization in test-float-parse)
- #137618 (Skip `tidy` in pre-push hook if the user is deleting a remote branch)
- #137741 (Stop using `hash_raw_entry` in `CodegenCx::const_str`)
- #137849 (Revert "Remove Win SDK 10.0.26100.0 from CI")
- #137862 (ensure we always print all --print options in help)
r? `@ghost`
`@rustbot` modify labels: rollup

Author: bors

.github/workflows/ci.yml

@@ -182,20 +182,6 @@ jobs:
  - name: show the current environment
 run: src/ci/scripts/dump-environment.sh
 
-# Temporary fix to unblock CI
-# Remove the latest Windows SDK for 32-bit Windows MSVC builds.
-# See issue https://github.com/rust-lang/rust/issues/137733 for more details.
- - name: Remove Windows SDK 10.0.26100.0
-shell: powershell
-if: ${{ matrix.name == 'i686-msvc-1' || matrix.name == 'i686-msvc-2' || matrix.name == 'dist-i686-msvc' }}
-run: |
- $kits = (Get-ItemProperty -path 'HKLM:\SOFTWARE\Microsoft\Windows Kits\Installed Roots').KitsRoot10
- $sdk_version = "10.0.26100.0"
-
- foreach ($kind in 'Bin', 'Lib', 'Include') {
- Remove-Item -Force -Recurse $kits\$kind\$sdk_version -ErrorAction Continue
- }
-
  - name: run the build
 # Redirect stderr to stdout to avoid reordering the two streams in the GHA logs.
 run: src/ci/scripts/run-build-from-ci.sh 2>&1

compiler/rustc_ast/src/ast.rs

@@ -417,9 +417,11 @@ impl WhereClause {
 /// A single predicate in a where-clause.
 #[derive(Clone,Encodable,Decodable,Debug)]
 pubstructWherePredicate{
+pubattrs:AttrVec,
 pubkind:WherePredicateKind,
 pubid:NodeId,
 pubspan:Span,
+pubis_placeholder:bool,
 }
 
 /// Predicate kind in where-clause.

compiler/rustc_ast/src/ast_traits.rs

@@ -11,7 +11,7 @@ use crate::tokenstream::LazyAttrTokenStream;
 usecrate::{
 Arm,AssocItem,AttrItem,AttrKind,AttrVec,Attribute,Block,Crate,Expr,ExprField,
 FieldDef,ForeignItem,GenericParam,Item,NodeId,Param,Pat,PatField,Path,Stmt,StmtKind,
-Ty,Variant,Visibility,
+Ty,Variant,Visibility,WherePredicate,
 };
 
 /// A utility trait to reduce boilerplate.
@@ -79,6 +79,7 @@ impl_has_node_id!(
 Stmt,
 Ty,
 Variant,
+WherePredicate,
 );
 
 impl<T:AstDeref<Target:HasNodeId>>HasNodeIdforT{
@@ -127,7 +128,16 @@ macro_rules! impl_has_tokens_none {
 }
 
 impl_has_tokens!(AssocItem,AttrItem,Block,Expr,ForeignItem,Item,Pat,Path,Ty,Visibility);
-impl_has_tokens_none!(Arm,ExprField,FieldDef,GenericParam,Param,PatField,Variant);
+impl_has_tokens_none!(
+Arm,
+ExprField,
+FieldDef,
+GenericParam,
+Param,
+PatField,
+Variant,
+WherePredicate
+);
 
 impl<T:AstDeref<Target:HasTokens>>HasTokensforT{
 fntokens(&self) -> Option<&LazyAttrTokenStream>{
@@ -279,6 +289,7 @@ impl_has_attrs!(
 Param,
 PatField,
 Variant,
+WherePredicate,
 );
 impl_has_attrs_none!(Attribute,AttrItem,Block,Pat,Path,Ty,Visibility);
 

compiler/rustc_ast/src/mut_visit.rs

@@ -338,8 +338,11 @@ pub trait MutVisitor: Sized {
 walk_where_clause(self, where_clause);
 }
 
-fnvisit_where_predicate(&mutself,where_predicate:&mutWherePredicate){
-walk_where_predicate(self, where_predicate)
+fnflat_map_where_predicate(
+&mutself,
+where_predicate:WherePredicate,
+) -> SmallVec<[WherePredicate;1]>{
+walk_flat_map_where_predicate(self, where_predicate)
 }
 
 fnvisit_where_predicate_kind(&mutself,kind:&mutWherePredicateKind){
@@ -1097,15 +1100,20 @@ fn walk_ty_alias_where_clauses<T: MutVisitor>(vis: &mut T, tawcs: &mut TyAliasWh
 
 fnwalk_where_clause<T:MutVisitor>(vis:&mutT,wc:&mutWhereClause){
 letWhereClause{has_where_token: _, predicates, span } = wc;
-visit_thin_vec(predicates,|predicate| vis.visit_where_predicate(predicate));
+ predicates.flat_map_in_place(|predicate| vis.flat_map_where_predicate(predicate));
  vis.visit_span(span);
 }
 
-pubfnwalk_where_predicate<T:MutVisitor>(vis:&mutT,pred:&mutWherePredicate){
-letWherePredicate{ kind, id, span } = pred;
+pubfnwalk_flat_map_where_predicate<T:MutVisitor>(
+vis:&mutT,
+mutpred:WherePredicate,
+) -> SmallVec<[WherePredicate;1]>{
+letWherePredicate{ attrs, kind, id, span,is_placeholder: _ } = &mut pred;
  vis.visit_id(id);
+visit_attrs(vis, attrs);
  vis.visit_where_predicate_kind(kind);
  vis.visit_span(span);
+smallvec![pred]
 }
 
 pubfnwalk_where_predicate_kind<T:MutVisitor>(vis:&mutT,kind:&mutWherePredicateKind){

compiler/rustc_ast/src/visit.rs

@@ -833,7 +833,8 @@ pub fn walk_where_predicate<'a, V: Visitor<'a>>(
 visitor:&mutV,
 predicate:&'aWherePredicate,
 ) -> V::Result{
-letWherePredicate{ kind,id: _,span: _ } = predicate;
+letWherePredicate{ attrs, kind,id: _,span: _,is_placeholder: _ } = predicate;
+walk_list!(visitor, visit_attribute, attrs);
  visitor.visit_where_predicate_kind(kind)
 }
 

compiler/rustc_ast_lowering/src/item.rs

@@ -1728,6 +1728,7 @@ impl<'hir> LoweringContext<'_, 'hir> {
 fnlower_where_predicate(&mutself,pred:&WherePredicate) -> hir::WherePredicate<'hir>{
 let hir_id = self.lower_node_id(pred.id);
 let span = self.lower_span(pred.span);
+self.lower_attrs(hir_id,&pred.attrs, span);
 let kind = self.arena.alloc(match&pred.kind{
 WherePredicateKind::BoundPredicate(WhereBoundPredicate{
  bound_generic_params,

compiler/rustc_ast_passes/src/feature_gate.rs

@@ -503,6 +503,7 @@ pub fn check_crate(krate: &ast::Crate, sess: &Session, features: &Features) {
 gate_all!(unsafe_binders,"unsafe binder types are experimental");
 gate_all!(contracts,"contracts are incomplete");
 gate_all!(contracts_internals,"contract internal machinery is for internal use only");
+gate_all!(where_clause_attrs,"attributes in `where` clause are unstable");
 
 if !visitor.features.never_patterns(){
 ifletSome(spans) = spans.get(&sym::never_patterns){

compiler/rustc_ast_pretty/src/pprust/state/item.rs

@@ -735,7 +735,8 @@ impl<'a> State<'a> {
 }
 
 pubfnprint_where_predicate(&mutself,predicate:&ast::WherePredicate){
-let ast::WherePredicate{ kind,id: _,span: _ } = predicate;
+let ast::WherePredicate{ attrs, kind,id: _,span: _,is_placeholder: _ } = predicate;
+self.print_outer_attributes(attrs);
 match kind {
  ast::WherePredicateKind::BoundPredicate(where_bound_predicate) => {
 self.print_where_bound_predicate(where_bound_predicate);

compiler/rustc_builtin_macros/src/deriving/coerce_pointee.rs

@@ -300,13 +300,16 @@ pub(crate) fn expand_deriving_coerce_pointee(
 to_ty:&s_ty,
 rewritten:false,
 };
-letmut predicate = ast::WherePredicate{
-kind: ast::WherePredicateKind::BoundPredicate(bound.clone()),
-span: predicate.span,
-id: ast::DUMMY_NODE_ID,
-};
- substitution.visit_where_predicate(&mut predicate);
+letmut kind = ast::WherePredicateKind::BoundPredicate(bound.clone());
+ substitution.visit_where_predicate_kind(&mut kind);
 if substitution.rewritten{
+let predicate = ast::WherePredicate{
+attrs: predicate.attrs.clone(),
+ kind,
+span: predicate.span,
+id: ast::DUMMY_NODE_ID,
+is_placeholder:false,
+};
  impl_generics.where_clause.predicates.push(predicate);
 }
 }
@@ -388,8 +391,8 @@ impl<'a> ast::mut_visit::MutVisitor for TypeSubstitution<'a> {
 }
 }
 
-fnvisit_where_predicate(&mutself,where_predicate:&mut ast::WherePredicate){
-match&mut where_predicate.kind{
+fnvisit_where_predicate_kind(&mutself,kind:&mut ast::WherePredicateKind){
+match kind {
  rustc_ast::WherePredicateKind::BoundPredicate(bound) => {
  bound
 .bound_generic_params

compiler/rustc_builtin_macros/src/deriving/generic/mod.rs

@@ -687,9 +687,11 @@ impl<'a> TraitDef<'a> {
 // and similarly for where clauses
  where_clause.predicates.extend(generics.where_clause.predicates.iter().map(|clause| {
  ast::WherePredicate{
+attrs: clause.attrs.clone(),
 kind: clause.kind.clone(),
 id: ast::DUMMY_NODE_ID,
 span: clause.span.with_ctxt(ctxt),
+is_placeholder:false,
 }
 }));
 
@@ -744,8 +746,13 @@ impl<'a> TraitDef<'a> {
 };
 
 let kind = ast::WherePredicateKind::BoundPredicate(predicate);
-let predicate =
- ast::WherePredicate{ kind,id: ast::DUMMY_NODE_ID,span:self.span};
+let predicate = ast::WherePredicate{
+attrs:ThinVec::new(),
+ kind,
+id: ast::DUMMY_NODE_ID,
+span:self.span,
+is_placeholder:false,
+};
  where_clause.predicates.push(predicate);
 }
 }