rust-lang
diff --git a/‎src/libsyntax/ast.rs
+11-1 b/‎src/libsyntax/ast.rs
+11-1
diff --git a/‎src/libsyntax/ext/expand.rs
+1-1 b/‎src/libsyntax/ext/expand.rs
+1-1
diff --git a/‎src/libsyntax/ext/quote.rs
+1-1 b/‎src/libsyntax/ext/quote.rs
+1-1
diff --git a/‎src/libsyntax/ext/tt/macro_parser.rs
+1-1 b/‎src/libsyntax/ext/tt/macro_parser.rs
+1-1
@@ -17,7 +17,7 @@ pub use self::PathParameters::*;
 pub use symbol::Symbol as Name;
 pub use util::ThinVec;
 
-use syntax_pos::{mk_sp, Span, DUMMY_SP, ExpnId};
+use syntax_pos::{mk_sp, BytePos, Span, DUMMY_SP, ExpnId};
 use codemap::{respan, Spanned};
 use abi::Abi;
 use ext::hygiene::SyntaxContext;
@@ -1716,6 +1716,16 @@ pub struct PolyTraitRef {
     pub span: Span,
 }
 
+impl PolyTraitRef {
+    pub fn new(lifetimes: Vec<LifetimeDef>, path: Path, lo: BytePos, hi: BytePos) -> Self {
+        PolyTraitRef {
+            bound_lifetimes: lifetimes,
+            trait_ref: TraitRef { path: path, ref_id: DUMMY_NODE_ID },
+            span: mk_sp(lo, hi),
+        }
+    }
+}
+
 #[derive(Clone, PartialEq, Eq, RustcEncodable, RustcDecodable, Hash, Debug)]
 pub enum Visibility {
     Public,
 
@@ -657,7 +657,7 @@ impl<'a> Parser<'a> {
             }
             ExpansionKind::Expr => Expansion::Expr(self.parse_expr()?),
             ExpansionKind::OptExpr => Expansion::OptExpr(Some(self.parse_expr()?)),
-            ExpansionKind::Ty => Expansion::Ty(self.parse_ty_no_plus()?),
+            ExpansionKind::Ty => Expansion::Ty(self.parse_ty()?),
             ExpansionKind::Pat => Expansion::Pat(self.parse_pat()?),
         })
     }
 
@@ -414,7 +414,7 @@ pub fn parse_arm_panic(parser: &mut Parser) -> Arm {
 }
 
 pub fn parse_ty_panic(parser: &mut Parser) -> P<Ty> {
-    panictry!(parser.parse_ty_no_plus())
+    panictry!(parser.parse_ty())
 }
 
 pub fn parse_stmt_panic(parser: &mut Parser) -> Option<Stmt> {
 
@@ -512,7 +512,7 @@ fn parse_nt<'a>(p: &mut Parser<'a>, sp: Span, name: &str) -> Nonterminal {
         },
         "pat" => token::NtPat(panictry!(p.parse_pat())),
         "expr" => token::NtExpr(panictry!(p.parse_expr())),
-        "ty" => token::NtTy(panictry!(p.parse_ty_no_plus())),
+        "ty" => token::NtTy(panictry!(p.parse_ty())),
         // this could be handled like a token, since it is one
         "ident" => match p.token {
             token::Ident(sn) => {
Original file line number	Diff line number	Diff line change
`@@ -657,7 +657,7 @@ impl<'a> Parser<'a> {`
`657`	`657`	`}`
`658`	`658`	`ExpansionKind::Expr => Expansion::Expr(self.parse_expr()?),`
`659`	`659`	`ExpansionKind::OptExpr => Expansion::OptExpr(Some(self.parse_expr()?)),`
`660`		`- ExpansionKind::Ty => Expansion::Ty(self.parse_ty_no_plus()?),`
	`660`	`+ ExpansionKind::Ty => Expansion::Ty(self.parse_ty()?),`
`661`	`661`	`ExpansionKind::Pat => Expansion::Pat(self.parse_pat()?),`
`662`	`662`	`})`
`663`	`663`	`}`
Original file line number	Diff line number	Diff line change
`@@ -414,7 +414,7 @@ pub fn parse_arm_panic(parser: &mut Parser) -> Arm {`
`414`	`414`	`}`
`415`	`415`
`416`	`416`	`pub fn parse_ty_panic(parser: &mut Parser) -> P<Ty> {`
`417`		`- panictry!(parser.parse_ty_no_plus())`
	`417`	`+ panictry!(parser.parse_ty())`
`418`	`418`	`}`
`419`	`419`
`420`	`420`	`pub fn parse_stmt_panic(parser: &mut Parser) -> Option<Stmt> {`