diff --git a/src/libsyntax/parse/parser.rs b/src/libsyntax/parse/parser.rs index 6873c015fd5..90ada8a687c 100644 --- a/src/libsyntax/parse/parser.rs +++ b/src/libsyntax/parse/parser.rs @@ -2415,9 +2415,16 @@ impl<'a> Parser<'a> { e = self.mk_expr(lo, hi, nd); } _ => { + if !tys.is_empty() { + let last_span = self.last_span; + self.span_err(last_span, + "field expressions may not \ + have type parameters"); + } + let id = spanned(dot, hi, i); let field = self.mk_field(e, id, tys); - e = self.mk_expr(lo, hi, field) + e = self.mk_expr(lo, hi, field); } } } diff --git a/src/test/compile-fail/type-parameters-in-field-exprs.rs b/src/test/compile-fail/type-parameters-in-field-exprs.rs new file mode 100644 index 00000000000..023f7d1c29f --- /dev/null +++ b/src/test/compile-fail/type-parameters-in-field-exprs.rs @@ -0,0 +1,24 @@ +// Copyright 2014 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +struct Foo { + x: int, + y: int, +} + +fn main() { + let f = Foo { + x: 1, + y: 2, + }; + f.x::; + //~^ ERROR field expressions may not have type parameters +} +