diff --git a/src/librustc/middle/cfg/construct.rs b/src/librustc/middle/cfg/construct.rs index 3f7bfefe27e57..e2b4dde577a06 100644 --- a/src/librustc/middle/cfg/construct.rs +++ b/src/librustc/middle/cfg/construct.rs @@ -113,7 +113,7 @@ impl<'a> CFGBuilder<'a> { self.add_node(pat.id, [pred]) } - ast::PatUniq(subpat) | + ast::PatBox(subpat) | ast::PatRegion(subpat) | ast::PatIdent(_, _, Some(subpat)) => { let subpat_exit = self.pat(subpat, pred); diff --git a/src/librustc/middle/check_match.rs b/src/librustc/middle/check_match.rs index 5a6f51bb9c76e..e21c8348a8b82 100644 --- a/src/librustc/middle/check_match.rs +++ b/src/librustc/middle/check_match.rs @@ -383,7 +383,7 @@ fn pat_ctor_id(cx: &MatchCheckCtxt, p: @Pat) -> Option { _ => Some(single) } } - PatUniq(_) | PatTup(_) | PatRegion(..) => { + PatBox(_) | PatTup(_) | PatRegion(..) => { Some(single) } PatVec(ref before, slice, ref after) => { @@ -764,7 +764,7 @@ fn specialize(cx: &MatchCheckCtxt, PatTup(args) => { Some(args.iter().map(|x| *x).collect::>().append(r.tail())) } - PatUniq(a) | PatRegion(a) => { + PatBox(a) | PatRegion(a) => { Some((vec!(a)).append(r.tail())) } PatLit(expr) => { @@ -924,7 +924,7 @@ fn find_refutable(cx: &MatchCheckCtxt, pat: &Pat, spans: &mut Vec) { } match pat.node { - PatUniq(sub) | PatRegion(sub) | PatIdent(_, _, Some(sub)) => { + PatBox(sub) | PatRegion(sub) | PatIdent(_, _, Some(sub)) => { find_refutable(cx, sub, spans) } PatWild | PatWildMulti | PatIdent(_, _, None) => {} diff --git a/src/librustc/middle/mem_categorization.rs b/src/librustc/middle/mem_categorization.rs index d747dbe777067..1fad7b1e60c96 100644 --- a/src/librustc/middle/mem_categorization.rs +++ b/src/librustc/middle/mem_categorization.rs @@ -1064,7 +1064,7 @@ impl<'t,TYPER:Typer> MemCategorizationContext<'t,TYPER> { } } - ast::PatUniq(subpat) | ast::PatRegion(subpat) => { + ast::PatBox(subpat) | ast::PatRegion(subpat) => { // @p1, ~p1 let subcmt = self.cat_deref(pat, cmt, 0); if_ok!(self.cat_pattern(subcmt, subpat, op)); diff --git a/src/librustc/middle/region.rs b/src/librustc/middle/region.rs index 6f42769891ea5..802f2d5ccab76 100644 --- a/src/librustc/middle/region.rs +++ b/src/librustc/middle/region.rs @@ -671,7 +671,7 @@ fn resolve_local(visitor: &mut RegionResolutionVisitor, subpats.iter().any(|&p| is_binding_pat(p)) } - ast::PatUniq(subpat) => { + ast::PatBox(subpat) => { is_binding_pat(subpat) } diff --git a/src/librustc/middle/trans/_match.rs b/src/librustc/middle/trans/_match.rs index 5f2f37cf22a31..494f6591d3971 100644 --- a/src/librustc/middle/trans/_match.rs +++ b/src/librustc/middle/trans/_match.rs @@ -838,7 +838,7 @@ fn enter_uniq<'a, 'b>( let dummy = @ast::Pat {id: 0, node: ast::PatWild, span: DUMMY_SP}; enter_match(bcx, dm, m, col, val, |p| { match p.node { - ast::PatUniq(sub) => { + ast::PatBox(sub) => { Some(vec!(sub)) } _ => { @@ -1105,7 +1105,7 @@ macro_rules! any_pat ( ) fn any_uniq_pat(m: &[Match], col: uint) -> bool { - any_pat!(m, ast::PatUniq(_)) + any_pat!(m, ast::PatBox(_)) } fn any_region_pat(m: &[Match], col: uint) -> bool { @@ -2270,7 +2270,7 @@ fn bind_irrefutable_pat<'a>( binding_mode, cleanup_scope); } } - ast::PatUniq(inner) => { + ast::PatBox(inner) => { let llbox = Load(bcx, val); bcx = bind_irrefutable_pat(bcx, inner, llbox, binding_mode, cleanup_scope); } diff --git a/src/librustc/middle/trans/debuginfo.rs b/src/librustc/middle/trans/debuginfo.rs index 2f418f295a30c..25f780a0eabf9 100644 --- a/src/librustc/middle/trans/debuginfo.rs +++ b/src/librustc/middle/trans/debuginfo.rs @@ -2632,7 +2632,7 @@ fn populate_scope_map(cx: &CrateContext, } } - ast::PatUniq(sub_pat) | ast::PatRegion(sub_pat) => { + ast::PatBox(sub_pat) | ast::PatRegion(sub_pat) => { scope_map.insert(pat.id, scope_stack.last().unwrap().scope_metadata); walk_pattern(cx, sub_pat, scope_stack, scope_map); } diff --git a/src/librustc/middle/typeck/check/_match.rs b/src/librustc/middle/typeck/check/_match.rs index bb8630cf950c5..565b951df2502 100644 --- a/src/librustc/middle/typeck/check/_match.rs +++ b/src/librustc/middle/typeck/check/_match.rs @@ -626,7 +626,7 @@ pub fn check_pat(pcx: &pat_ctxt, pat: &ast::Pat, expected: ty::t) { } } } - ast::PatUniq(inner) => { + ast::PatBox(inner) => { check_pointer_pat(pcx, Send, inner, pat.id, pat.span, expected); } ast::PatRegion(inner) => { diff --git a/src/librustdoc/clean/mod.rs b/src/librustdoc/clean/mod.rs index 2e41b2c2f49d3..610cc992eed6e 100644 --- a/src/librustdoc/clean/mod.rs +++ b/src/librustdoc/clean/mod.rs @@ -1721,7 +1721,7 @@ fn name_from_pat(p: &ast::Pat) -> String { PatStruct(..) => fail!("tried to get argument name from pat_struct, \ which is not allowed in function arguments"), PatTup(..) => "(tuple arg NYI)".to_string(), - PatUniq(p) => name_from_pat(p), + PatBox(p) => name_from_pat(p), PatRegion(p) => name_from_pat(p), PatLit(..) => { warn!("tried to get argument name from PatLit, \ diff --git a/src/libsyntax/ast.rs b/src/libsyntax/ast.rs index edeff1229bd91..d6af10ddc1855 100644 --- a/src/libsyntax/ast.rs +++ b/src/libsyntax/ast.rs @@ -347,7 +347,7 @@ pub enum Pat_ { * we don't bind the fields to names */ PatStruct(Path, Vec , bool), PatTup(Vec<@Pat> ), - PatUniq(@Pat), + PatBox(@Pat), PatRegion(@Pat), // reference pattern PatLit(@Expr), PatRange(@Expr, @Expr), diff --git a/src/libsyntax/ast_util.rs b/src/libsyntax/ast_util.rs index 5b61cd45483ac..e4f2f7f26cf0d 100644 --- a/src/libsyntax/ast_util.rs +++ b/src/libsyntax/ast_util.rs @@ -657,7 +657,7 @@ pub fn walk_pat(pat: &Pat, it: |&Pat| -> bool) -> bool { PatEnum(_, Some(ref s)) | PatTup(ref s) => { s.iter().advance(|&p| walk_pat(p, |p| it(p))) } - PatUniq(s) | PatRegion(s) => { + PatBox(s) | PatRegion(s) => { walk_pat(s, it) } PatVec(ref before, ref slice, ref after) => { diff --git a/src/libsyntax/fold.rs b/src/libsyntax/fold.rs index b66d1f7eae582..8903eb80829b4 100644 --- a/src/libsyntax/fold.rs +++ b/src/libsyntax/fold.rs @@ -760,7 +760,7 @@ pub fn noop_fold_pat(p: @Pat, folder: &mut T) -> @Pat { PatStruct(pth_, fs, etc) } PatTup(ref elts) => PatTup(elts.iter().map(|x| folder.fold_pat(*x)).collect()), - PatUniq(inner) => PatUniq(folder.fold_pat(inner)), + PatBox(inner) => PatBox(folder.fold_pat(inner)), PatRegion(inner) => PatRegion(folder.fold_pat(inner)), PatRange(e1, e2) => { PatRange(folder.fold_expr(e1), folder.fold_expr(e2)) diff --git a/src/libsyntax/parse/parser.rs b/src/libsyntax/parse/parser.rs index 65ad83d4b4fb1..1902df30b9966 100644 --- a/src/libsyntax/parse/parser.rs +++ b/src/libsyntax/parse/parser.rs @@ -39,7 +39,7 @@ use ast::{MutImmutable, MutMutable, Mac_, MacInvocTT, Matcher, MatchNonterminal} use ast::{MatchSeq, MatchTok, Method, MutTy, BiMul, Mutability}; use ast::{NamedField, UnNeg, NoReturn, UnNot, P, Pat, PatEnum}; use ast::{PatIdent, PatLit, PatRange, PatRegion, PatStruct}; -use ast::{PatTup, PatUniq, PatWild, PatWildMulti}; +use ast::{PatTup, PatBox, PatWild, PatWildMulti}; use ast::{BiRem, Required}; use ast::{RetStyle, Return, BiShl, BiShr, Stmt, StmtDecl}; use ast::{Sized, DynSize, StaticSize}; @@ -2784,7 +2784,7 @@ impl<'a> Parser<'a> { // parse ~pat self.bump(); let sub = self.parse_pat(); - pat = PatUniq(sub); + pat = PatBox(sub); hi = self.last_span.hi; self.obsolete(self.last_span, ObsoleteOwnedPattern); return @ast::Pat { @@ -2888,7 +2888,7 @@ impl<'a> Parser<'a> { // FIXME(#13910): Rename to `PatBox` and extend to full DST // support. let sub = self.parse_pat(); - pat = PatUniq(sub); + pat = PatBox(sub); hi = self.last_span.hi; return @ast::Pat { id: ast::DUMMY_NODE_ID, diff --git a/src/libsyntax/print/pprust.rs b/src/libsyntax/print/pprust.rs index 3127085ffedca..90436faca23c1 100644 --- a/src/libsyntax/print/pprust.rs +++ b/src/libsyntax/print/pprust.rs @@ -1721,7 +1721,7 @@ impl<'a> State<'a> { } try!(self.pclose()); } - ast::PatUniq(inner) => { + ast::PatBox(inner) => { try!(word(&mut self.s, "box ")); try!(self.print_pat(inner)); } diff --git a/src/libsyntax/visit.rs b/src/libsyntax/visit.rs index eb7aeb0e327a0..efa8c8e66640f 100644 --- a/src/libsyntax/visit.rs +++ b/src/libsyntax/visit.rs @@ -429,7 +429,7 @@ pub fn walk_pat>(visitor: &mut V, pattern: &Pat, env: E) visitor.visit_pat(*tuple_element, env.clone()) } } - PatUniq(subpattern) | + PatBox(subpattern) | PatRegion(subpattern) => { visitor.visit_pat(subpattern, env) }