pub use self::AnnNode::*;
-use syntax::abi;
+use syntax::abi::Abi;
use syntax::ast;
use syntax::codemap::{self, CodeMap, BytePos, Spanned};
use syntax::errors;
use syntax::ptr::P;
use hir;
-use hir::{Crate, RegionTyParamBound, TraitTyParamBound, TraitBoundModifier};
+use hir::{Crate, PatKind, RegionTyParamBound, TraitTyParamBound, TraitBoundModifier};
use std::io::{self, Write, Read};
try!(s.print_fn(decl,
unsafety,
constness,
- abi::Rust,
+ Abi::Rust,
Some(name),
generics,
opt_explicit_self,
}
pub fn commasep_exprs(&mut self, b: Breaks, exprs: &[P<hir::Expr>]) -> io::Result<()> {
- self.commasep_cmnt(b, exprs, |s, e| s.print_expr(&**e), |e| e.span)
+ self.commasep_cmnt(b, exprs, |s, e| s.print_expr(&e), |e| e.span)
}
pub fn print_mod(&mut self, _mod: &hir::Mod, attrs: &[ast::Attribute]) -> io::Result<()> {
match ty.node {
hir::TyVec(ref ty) => {
try!(word(&mut self.s, "["));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(word(&mut self.s, "]"));
}
hir::TyPtr(ref mt) => {
hir::MutMutable => try!(self.word_nbsp("mut")),
hir::MutImmutable => try!(self.word_nbsp("const")),
}
- try!(self.print_type(&*mt.ty));
+ try!(self.print_type(&mt.ty));
}
hir::TyRptr(ref lifetime, ref mt) => {
try!(word(&mut self.s, "&"));
}
hir::TyTup(ref elts) => {
try!(self.popen());
- try!(self.commasep(Inconsistent, &elts[..], |s, ty| s.print_type(&**ty)));
+ try!(self.commasep(Inconsistent, &elts[..], |s, ty| s.print_type(&ty)));
if elts.len() == 1 {
try!(word(&mut self.s, ","));
}
predicates: hir::HirVec::new(),
},
};
- try!(self.print_ty_fn(f.abi, f.unsafety, &*f.decl, None, &generics, None));
+ try!(self.print_ty_fn(f.abi, f.unsafety, &f.decl, None, &generics, None));
}
hir::TyPath(None, ref path) => {
try!(self.print_path(path, false, 0));
try!(self.print_qpath(path, qself, false))
}
hir::TyObjectSum(ref ty, ref bounds) => {
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(self.print_bounds("+", &bounds[..]));
}
hir::TyPolyTraitRef(ref bounds) => {
}
hir::TyFixedLengthVec(ref ty, ref v) => {
try!(word(&mut self.s, "["));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(word(&mut self.s, "; "));
- try!(self.print_expr(&**v));
+ try!(self.print_expr(&v));
try!(word(&mut self.s, "]"));
}
hir::TyTypeof(ref e) => {
try!(word(&mut self.s, "typeof("));
- try!(self.print_expr(&**e));
+ try!(self.print_expr(&e));
try!(word(&mut self.s, ")"));
}
hir::TyInfer => {
try!(self.print_fn(decl,
hir::Unsafety::Normal,
hir::Constness::NotConst,
- abi::Rust,
+ Abi::Rust,
Some(item.name),
generics,
None,
}
try!(self.print_name(item.name));
try!(self.word_space(":"));
- try!(self.print_type(&**t));
+ try!(self.print_type(&t));
try!(word(&mut self.s, ";"));
try!(self.end()); // end the head-ibox
self.end() // end the outer cbox
if let Some(p) = *optional_path {
let val = p.as_str();
if val.contains("-") {
- try!(self.print_string(&val, ast::CookedStr));
+ try!(self.print_string(&val, ast::StrStyle::Cooked));
} else {
try!(self.print_name(p));
}
}
hir::ItemUse(ref vp) => {
try!(self.head(&visibility_qualified(item.vis, "use")));
- try!(self.print_view_path(&**vp));
+ try!(self.print_view_path(&vp));
try!(word(&mut self.s, ";"));
try!(self.end()); // end inner head-block
try!(self.end()); // end outer head-block
}
try!(self.print_name(item.name));
try!(self.word_space(":"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(space(&mut self.s));
try!(self.end()); // end the head-ibox
try!(self.word_space("="));
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, ";"));
try!(self.end()); // end the outer cbox
}
try!(self.head(&visibility_qualified(item.vis, "const")));
try!(self.print_name(item.name));
try!(self.word_space(":"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(space(&mut self.s));
try!(self.end()); // end the head-ibox
try!(self.word_space("="));
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, ";"));
try!(self.end()); // end the outer cbox
}
None,
item.vis));
try!(word(&mut self.s, " "));
- try!(self.print_block_with_attrs(&**body, &item.attrs));
+ try!(self.print_block_with_attrs(&body, &item.attrs));
}
hir::ItemMod(ref _mod) => {
try!(self.head(&visibility_qualified(item.vis, "mod")));
try!(self.print_where_clause(¶ms.where_clause));
try!(space(&mut self.s));
try!(self.word_space("="));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(word(&mut self.s, ";"));
try!(self.end()); // end the outer ibox
}
&None => {}
}
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
try!(self.print_where_clause(&generics.where_clause));
try!(space(&mut self.s));
hir::UnnamedField(vis) => {
try!(s.print_visibility(vis));
try!(s.maybe_print_comment(field.span.lo));
- s.print_type(&*field.node.ty)
+ s.print_type(&field.node.ty)
}
}
}));
try!(self.print_visibility(visibility));
try!(self.print_name(name));
try!(self.word_nbsp(":"));
- try!(self.print_type(&*field.node.ty));
+ try!(self.print_type(&field.node.ty));
try!(word(&mut self.s, ","));
}
}
Some(ref d) => {
try!(space(&mut self.s));
try!(self.word_space("="));
- self.print_expr(&**d)
+ self.print_expr(&d)
}
_ => Ok(()),
}
}
-
pub fn print_method_sig(&mut self,
name: ast::Name,
m: &hir::MethodSig,
try!(self.maybe_print_comment(st.span.lo));
match st.node {
hir::StmtDecl(ref decl, _) => {
- try!(self.print_decl(&**decl));
+ try!(self.print_decl(&decl));
}
hir::StmtExpr(ref expr, _) => {
try!(self.space_if_not_bol());
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
}
hir::StmtSemi(ref expr, _) => {
try!(self.space_if_not_bol());
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, ";"));
}
}
match blk.expr {
Some(ref expr) => {
try!(self.space_if_not_bol());
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(self.maybe_print_trailing_comment(expr.span, Some(blk.span.hi)));
}
_ => (),
try!(self.cbox(indent_unit - 1));
try!(self.ibox(0));
try!(word(&mut self.s, " else if "));
- try!(self.print_expr(&**i));
+ try!(self.print_expr(&i));
try!(space(&mut self.s));
- try!(self.print_block(&**then));
+ try!(self.print_block(&then));
self.print_else(e.as_ref().map(|e| &**e))
}
// "final else"
try!(self.cbox(indent_unit - 1));
try!(self.ibox(0));
try!(word(&mut self.s, " else "));
- self.print_block(&**b)
+ self.print_block(&b)
}
// BLEAH, constraints would be great here
_ => {
try!(s.ibox(indent_unit));
try!(s.print_name(field.name.node));
try!(s.word_space(":"));
- try!(s.print_expr(&*field.expr));
+ try!(s.print_expr(&field.expr));
s.end()
},
|f| f.span));
try!(space(&mut self.s));
}
try!(word(&mut self.s, ".."));
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(self.end());
}
_ => if !fields.is_empty() {
args: &[P<hir::Expr>])
-> io::Result<()> {
let base_args = &args[1..];
- try!(self.print_expr(&*args[0]));
+ try!(self.print_expr(&args[0]));
try!(word(&mut self.s, "."));
try!(self.print_name(name.node));
if !tys.is_empty() {
try!(word(&mut self.s, "::<"));
- try!(self.commasep(Inconsistent, tys, |s, ty| s.print_type(&**ty)));
+ try!(self.commasep(Inconsistent, tys, |s, ty| s.print_type(&ty)));
try!(word(&mut self.s, ">"));
}
self.print_call_post(base_args)
try!(self.print_expr_vec(&exprs[..]));
}
hir::ExprRepeat(ref element, ref count) => {
- try!(self.print_expr_repeat(&**element, &**count));
+ try!(self.print_expr_repeat(&element, &count));
}
hir::ExprStruct(ref path, ref fields, ref wth) => {
try!(self.print_expr_struct(path, &fields[..], wth));
try!(self.print_expr_tup(&exprs[..]));
}
hir::ExprCall(ref func, ref args) => {
- try!(self.print_expr_call(&**func, &args[..]));
+ try!(self.print_expr_call(&func, &args[..]));
}
hir::ExprMethodCall(name, ref tys, ref args) => {
try!(self.print_expr_method_call(name, &tys[..], &args[..]));
}
hir::ExprBinary(op, ref lhs, ref rhs) => {
- try!(self.print_expr_binary(op, &**lhs, &**rhs));
+ try!(self.print_expr_binary(op, &lhs, &rhs));
}
hir::ExprUnary(op, ref expr) => {
- try!(self.print_expr_unary(op, &**expr));
+ try!(self.print_expr_unary(op, &expr));
}
hir::ExprAddrOf(m, ref expr) => {
- try!(self.print_expr_addr_of(m, &**expr));
+ try!(self.print_expr_addr_of(m, &expr));
}
hir::ExprLit(ref lit) => {
- try!(self.print_literal(&**lit));
+ try!(self.print_literal(&lit));
}
hir::ExprCast(ref expr, ref ty) => {
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(space(&mut self.s));
try!(self.word_space("as"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
}
hir::ExprType(ref expr, ref ty) => {
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(self.word_space(":"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
}
hir::ExprIf(ref test, ref blk, ref elseopt) => {
- try!(self.print_if(&**test, &**blk, elseopt.as_ref().map(|e| &**e)));
+ try!(self.print_if(&test, &blk, elseopt.as_ref().map(|e| &**e)));
}
hir::ExprWhile(ref test, ref blk, opt_ident) => {
if let Some(ident) = opt_ident {
try!(self.word_space(":"));
}
try!(self.head("while"));
- try!(self.print_expr(&**test));
+ try!(self.print_expr(&test));
try!(space(&mut self.s));
- try!(self.print_block(&**blk));
+ try!(self.print_block(&blk));
}
hir::ExprLoop(ref blk, opt_ident) => {
if let Some(ident) = opt_ident {
}
try!(self.head("loop"));
try!(space(&mut self.s));
- try!(self.print_block(&**blk));
+ try!(self.print_block(&blk));
}
hir::ExprMatch(ref expr, ref arms, _) => {
try!(self.cbox(indent_unit));
try!(self.ibox(4));
try!(self.word_nbsp("match"));
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(space(&mut self.s));
try!(self.bopen());
for arm in arms {
hir::ExprClosure(capture_clause, ref decl, ref body) => {
try!(self.print_capture_clause(capture_clause));
- try!(self.print_fn_block_args(&**decl));
+ try!(self.print_fn_block_args(&decl));
try!(space(&mut self.s));
let default_return = match decl.output {
};
if !default_return || !body.stmts.is_empty() || body.expr.is_none() {
- try!(self.print_block_unclosed(&**body));
+ try!(self.print_block_unclosed(&body));
} else {
// we extract the block, so as not to create another set of boxes
match body.expr.as_ref().unwrap().node {
hir::ExprBlock(ref blk) => {
- try!(self.print_block_unclosed(&**blk));
+ try!(self.print_block_unclosed(&blk));
}
_ => {
// this is a bare expression
try!(self.cbox(indent_unit));
// head-box, will be closed by print-block after {
try!(self.ibox(0));
- try!(self.print_block(&**blk));
+ try!(self.print_block(&blk));
}
hir::ExprAssign(ref lhs, ref rhs) => {
- try!(self.print_expr(&**lhs));
+ try!(self.print_expr(&lhs));
try!(space(&mut self.s));
try!(self.word_space("="));
- try!(self.print_expr(&**rhs));
+ try!(self.print_expr(&rhs));
}
hir::ExprAssignOp(op, ref lhs, ref rhs) => {
- try!(self.print_expr(&**lhs));
+ try!(self.print_expr(&lhs));
try!(space(&mut self.s));
try!(word(&mut self.s, ::util::binop_to_string(op.node)));
try!(self.word_space("="));
- try!(self.print_expr(&**rhs));
+ try!(self.print_expr(&rhs));
}
hir::ExprField(ref expr, name) => {
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, "."));
try!(self.print_name(name.node));
}
hir::ExprTupField(ref expr, id) => {
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, "."));
try!(self.print_usize(id.node));
}
hir::ExprIndex(ref expr, ref index) => {
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
try!(word(&mut self.s, "["));
- try!(self.print_expr(&**index));
+ try!(self.print_expr(&index));
try!(word(&mut self.s, "]"));
}
- hir::ExprRange(ref start, ref end) => {
- if let &Some(ref e) = start {
- try!(self.print_expr(&**e));
- }
- try!(word(&mut self.s, ".."));
- if let &Some(ref e) = end {
- try!(self.print_expr(&**e));
- }
- }
hir::ExprPath(None, ref path) => {
try!(self.print_path(path, true, 0))
}
match *result {
Some(ref expr) => {
try!(word(&mut self.s, " "));
- try!(self.print_expr(&**expr));
+ try!(self.print_expr(&expr));
}
_ => (),
}
try!(self.commasep(Inconsistent, &a.outputs, |s, out| {
match out.constraint.slice_shift_char() {
Some(('=', operand)) if out.is_rw => {
- try!(s.print_string(&format!("+{}", operand), ast::CookedStr))
+ try!(s.print_string(&format!("+{}", operand), ast::StrStyle::Cooked))
}
- _ => try!(s.print_string(&out.constraint, ast::CookedStr)),
+ _ => try!(s.print_string(&out.constraint, ast::StrStyle::Cooked)),
}
try!(s.popen());
- try!(s.print_expr(&*out.expr));
+ try!(s.print_expr(&out.expr));
try!(s.pclose());
Ok(())
}));
try!(self.word_space(":"));
try!(self.commasep(Inconsistent, &a.inputs, |s, &(ref co, ref o)| {
- try!(s.print_string(&co, ast::CookedStr));
+ try!(s.print_string(&co, ast::StrStyle::Cooked));
try!(s.popen());
- try!(s.print_expr(&**o));
+ try!(s.print_expr(&o));
try!(s.pclose());
Ok(())
}));
try!(self.word_space(":"));
try!(self.commasep(Inconsistent, &a.clobbers, |s, co| {
- try!(s.print_string(&co, ast::CookedStr));
+ try!(s.print_string(&co, ast::StrStyle::Cooked));
Ok(())
}));
if !options.is_empty() {
try!(space(&mut self.s));
try!(self.word_space(":"));
- try!(self.commasep(Inconsistent, &*options, |s, &co| {
- try!(s.print_string(co, ast::CookedStr));
+ try!(self.commasep(Inconsistent, &options, |s, &co| {
+ try!(s.print_string(co, ast::StrStyle::Cooked));
Ok(())
}));
}
}
pub fn print_local_decl(&mut self, loc: &hir::Local) -> io::Result<()> {
- try!(self.print_pat(&*loc.pat));
+ try!(self.print_pat(&loc.pat));
if let Some(ref ty) = loc.ty {
try!(self.word_space(":"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
}
Ok(())
}
try!(self.word_nbsp("let"));
try!(self.ibox(indent_unit));
- try!(self.print_local_decl(&**loc));
+ try!(self.print_local_decl(&loc));
try!(self.end());
if let Some(ref init) = loc.init {
try!(self.nbsp());
try!(self.word_space("="));
- try!(self.print_expr(&**init));
+ try!(self.print_expr(&init));
}
self.end()
}
if comma {
try!(self.word_space(","))
}
- try!(self.commasep(Inconsistent, &data.types, |s, ty| s.print_type(&**ty)));
+ try!(self.commasep(Inconsistent, &data.types, |s, ty| s.print_type(&ty)));
comma = true;
}
try!(self.print_name(binding.name));
try!(space(&mut self.s));
try!(self.word_space("="));
- try!(self.print_type(&*binding.ty));
+ try!(self.print_type(&binding.ty));
comma = true;
}
hir::ParenthesizedParameters(ref data) => {
try!(word(&mut self.s, "("));
- try!(self.commasep(Inconsistent, &data.inputs, |s, ty| s.print_type(&**ty)));
+ try!(self.commasep(Inconsistent, &data.inputs, |s, ty| s.print_type(&ty)));
try!(word(&mut self.s, ")"));
match data.output {
Some(ref ty) => {
try!(self.space_if_not_bol());
try!(self.word_space("->"));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
}
}
}
// Pat isn't normalized, but the beauty of it
// is that it doesn't matter
match pat.node {
- hir::PatWild => try!(word(&mut self.s, "_")),
- hir::PatIdent(binding_mode, ref path1, ref sub) => {
+ PatKind::Wild => try!(word(&mut self.s, "_")),
+ PatKind::Ident(binding_mode, ref path1, ref sub) => {
match binding_mode {
hir::BindByRef(mutbl) => {
try!(self.word_nbsp("ref"));
match *sub {
Some(ref p) => {
try!(word(&mut self.s, "@"));
- try!(self.print_pat(&**p));
+ try!(self.print_pat(&p));
}
None => (),
}
}
- hir::PatEnum(ref path, ref args_) => {
+ PatKind::TupleStruct(ref path, ref args_) => {
try!(self.print_path(path, true, 0));
match *args_ {
None => try!(word(&mut self.s, "(..)")),
Some(ref args) => {
- if !args.is_empty() {
- try!(self.popen());
- try!(self.commasep(Inconsistent, &args[..], |s, p| s.print_pat(&**p)));
- try!(self.pclose());
- }
+ try!(self.popen());
+ try!(self.commasep(Inconsistent, &args[..], |s, p| s.print_pat(&p)));
+ try!(self.pclose());
}
}
}
- hir::PatQPath(ref qself, ref path) => {
+ PatKind::Path(ref path) => {
+ try!(self.print_path(path, true, 0));
+ }
+ PatKind::QPath(ref qself, ref path) => {
try!(self.print_qpath(path, qself, false));
}
- hir::PatStruct(ref path, ref fields, etc) => {
+ PatKind::Struct(ref path, ref fields, etc) => {
try!(self.print_path(path, true, 0));
try!(self.nbsp());
try!(self.word_space("{"));
try!(s.print_name(f.node.name));
try!(s.word_nbsp(":"));
}
- try!(s.print_pat(&*f.node.pat));
+ try!(s.print_pat(&f.node.pat));
s.end()
},
|f| f.node.pat.span));
try!(space(&mut self.s));
try!(word(&mut self.s, "}"));
}
- hir::PatTup(ref elts) => {
+ PatKind::Tup(ref elts) => {
try!(self.popen());
- try!(self.commasep(Inconsistent, &elts[..], |s, p| s.print_pat(&**p)));
+ try!(self.commasep(Inconsistent, &elts[..], |s, p| s.print_pat(&p)));
if elts.len() == 1 {
try!(word(&mut self.s, ","));
}
try!(self.pclose());
}
- hir::PatBox(ref inner) => {
+ PatKind::Box(ref inner) => {
try!(word(&mut self.s, "box "));
- try!(self.print_pat(&**inner));
+ try!(self.print_pat(&inner));
}
- hir::PatRegion(ref inner, mutbl) => {
+ PatKind::Ref(ref inner, mutbl) => {
try!(word(&mut self.s, "&"));
if mutbl == hir::MutMutable {
try!(word(&mut self.s, "mut "));
}
- try!(self.print_pat(&**inner));
+ try!(self.print_pat(&inner));
}
- hir::PatLit(ref e) => try!(self.print_expr(&**e)),
- hir::PatRange(ref begin, ref end) => {
- try!(self.print_expr(&**begin));
+ PatKind::Lit(ref e) => try!(self.print_expr(&e)),
+ PatKind::Range(ref begin, ref end) => {
+ try!(self.print_expr(&begin));
try!(space(&mut self.s));
try!(word(&mut self.s, "..."));
- try!(self.print_expr(&**end));
+ try!(self.print_expr(&end));
}
- hir::PatVec(ref before, ref slice, ref after) => {
+ PatKind::Vec(ref before, ref slice, ref after) => {
try!(word(&mut self.s, "["));
- try!(self.commasep(Inconsistent, &before[..], |s, p| s.print_pat(&**p)));
+ try!(self.commasep(Inconsistent, &before[..], |s, p| s.print_pat(&p)));
if let Some(ref p) = *slice {
if !before.is_empty() {
try!(self.word_space(","));
}
- if p.node != hir::PatWild {
- try!(self.print_pat(&**p));
+ if p.node != PatKind::Wild {
+ try!(self.print_pat(&p));
}
try!(word(&mut self.s, ".."));
if !after.is_empty() {
try!(self.word_space(","));
}
}
- try!(self.commasep(Inconsistent, &after[..], |s, p| s.print_pat(&**p)));
+ try!(self.commasep(Inconsistent, &after[..], |s, p| s.print_pat(&p)));
try!(word(&mut self.s, "]"));
}
}
try!(space(&mut self.s));
try!(self.word_space("|"));
}
- try!(self.print_pat(&**p));
+ try!(self.print_pat(&p));
}
try!(space(&mut self.s));
if let Some(ref e) = arm.guard {
try!(self.word_space("if"));
- try!(self.print_expr(&**e));
+ try!(self.print_expr(&e));
try!(space(&mut self.s));
}
try!(self.word_space("=>"));
match arm.body.node {
hir::ExprBlock(ref blk) => {
// the block will close the pattern's ibox
- try!(self.print_block_unclosed_indent(&**blk, indent_unit));
+ try!(self.print_block_unclosed_indent(&blk, indent_unit));
// If it is a user-provided unsafe block, print a comma after it
if let hir::UnsafeBlock(hir::UserProvided) = blk.rules {
}
_ => {
try!(self.end()); // close the ibox for the pattern
- try!(self.print_expr(&*arm.body));
+ try!(self.print_expr(&arm.body));
try!(word(&mut self.s, ","));
}
}
hir::SelfExplicit(ref typ, _) => {
try!(word(&mut self.s, "self"));
try!(self.word_space(":"));
- try!(self.print_type(&**typ));
+ try!(self.print_type(&typ));
}
}
return Ok(true);
decl: &hir::FnDecl,
unsafety: hir::Unsafety,
constness: hir::Constness,
- abi: abi::Abi,
+ abi: Abi,
name: Option<ast::Name>,
generics: &hir::Generics,
opt_explicit_self: Option<&hir::ExplicitSelf_>,
let m = match explicit_self {
&hir::SelfStatic => hir::MutImmutable,
_ => match decl.inputs[0].pat.node {
- hir::PatIdent(hir::BindByValue(m), _, _) => m,
+ PatKind::Ident(hir::BindByValue(m), _, _) => m,
_ => hir::MutImmutable,
},
};
try!(self.word_space("->"));
match decl.output {
hir::Return(ref ty) => {
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
self.maybe_print_comment(ty.span.lo)
}
hir::DefaultReturn(..) => unreachable!(),
Some(ref default) => {
try!(space(&mut self.s));
try!(self.word_space("="));
- self.print_type(&**default)
+ self.print_type(&default)
}
_ => Ok(()),
}
ref bounds,
..}) => {
try!(self.print_formal_lifetime_list(bound_lifetimes));
- try!(self.print_type(&**bounded_ty));
+ try!(self.print_type(&bounded_ty));
try!(self.print_bounds(":", bounds));
}
&hir::WherePredicate::RegionPredicate(hir::WhereRegionPredicate{ref lifetime,
try!(self.print_path(path, false, 0));
try!(space(&mut self.s));
try!(self.word_space("="));
- try!(self.print_type(&**ty));
+ try!(self.print_type(&ty));
}
}
}
pub fn print_mt(&mut self, mt: &hir::MutTy) -> io::Result<()> {
try!(self.print_mutability(mt.mutbl));
- self.print_type(&*mt.ty)
+ self.print_type(&mt.ty)
}
pub fn print_arg(&mut self, input: &hir::Arg, is_closure: bool) -> io::Result<()> {
try!(self.ibox(indent_unit));
match input.ty.node {
- hir::TyInfer if is_closure => try!(self.print_pat(&*input.pat)),
+ hir::TyInfer if is_closure => try!(self.print_pat(&input.pat)),
_ => {
match input.pat.node {
- hir::PatIdent(_, ref path1, _) if
+ PatKind::Ident(_, ref path1, _) if
path1.node.name ==
parse::token::special_idents::invalid.name => {
// Do nothing.
}
_ => {
- try!(self.print_pat(&*input.pat));
+ try!(self.print_pat(&input.pat));
try!(word(&mut self.s, ":"));
try!(space(&mut self.s));
}
}
- try!(self.print_type(&*input.ty));
+ try!(self.print_type(&input.ty));
}
}
self.end()
match decl.output {
hir::NoReturn(_) => try!(self.word_nbsp("!")),
hir::DefaultReturn(..) => unreachable!(),
- hir::Return(ref ty) => try!(self.print_type(&**ty)),
+ hir::Return(ref ty) => try!(self.print_type(&ty)),
}
try!(self.end());
}
pub fn print_ty_fn(&mut self,
- abi: abi::Abi,
+ abi: Abi,
unsafety: hir::Unsafety,
decl: &hir::FnDecl,
name: Option<ast::Name>,
}
pub fn print_opt_abi_and_extern_if_nondefault(&mut self,
- opt_abi: Option<abi::Abi>)
+ opt_abi: Option<Abi>)
-> io::Result<()> {
match opt_abi {
- Some(abi::Rust) => Ok(()),
+ Some(Abi::Rust) => Ok(()),
Some(abi) => {
try!(self.word_nbsp("extern"));
self.word_nbsp(&abi.to_string())
}
}
- pub fn print_extern_opt_abi(&mut self, opt_abi: Option<abi::Abi>) -> io::Result<()> {
+ pub fn print_extern_opt_abi(&mut self, opt_abi: Option<Abi>) -> io::Result<()> {
match opt_abi {
Some(abi) => {
try!(self.word_nbsp("extern"));
pub fn print_fn_header_info(&mut self,
unsafety: hir::Unsafety,
constness: hir::Constness,
- abi: abi::Abi,
+ abi: Abi,
vis: hir::Visibility)
-> io::Result<()> {
try!(word(&mut self.s, &visibility_qualified(vis, "")));
hir::Constness::Const => try!(self.word_nbsp("const")),
}
- if abi != abi::Rust {
+ if abi != Abi::Rust {
try!(self.word_nbsp("extern"));
try!(self.word_nbsp(&abi.to_string()));
}
}
}
hir::StmtExpr(ref e, _) => {
- expr_requires_semi_to_be_stmt(&**e)
+ expr_requires_semi_to_be_stmt(&e)
}
hir::StmtSemi(..) => {
false