Skip to content

Commit

Permalink
Correct span for pub_restricted field
Browse files Browse the repository at this point in the history
  • Loading branch information
sanxiyn committed Aug 12, 2016
1 parent 8787a12 commit f76a737
Show file tree
Hide file tree
Showing 3 changed files with 37 additions and 25 deletions.
19 changes: 10 additions & 9 deletions src/libsyntax/parse/parser.rs
Original file line number Diff line number Diff line change
Expand Up @@ -3760,19 +3760,18 @@ impl<'a> Parser<'a> {
}

/// Parse a structure field
fn parse_name_and_ty(&mut self, pr: Visibility,
attrs: Vec<Attribute> ) -> PResult<'a, StructField> {
let lo = match pr {
Visibility::Inherited => self.span.lo,
_ => self.last_span.lo,
};
fn parse_name_and_ty(&mut self,
lo: BytePos,
vis: Visibility,
attrs: Vec<Attribute>)
-> PResult<'a, StructField> {
let name = self.parse_ident()?;
self.expect(&token::Colon)?;
let ty = self.parse_ty_sum()?;
Ok(StructField {
span: mk_sp(lo, self.last_span.hi),
ident: Some(name),
vis: pr,
vis: vis,
id: ast::DUMMY_NODE_ID,
ty: ty,
attrs: attrs,
Expand Down Expand Up @@ -5092,10 +5091,11 @@ impl<'a> Parser<'a> {

/// Parse a structure field declaration
pub fn parse_single_struct_field(&mut self,
lo: BytePos,
vis: Visibility,
attrs: Vec<Attribute> )
-> PResult<'a, StructField> {
let a_var = self.parse_name_and_ty(vis, attrs)?;
let a_var = self.parse_name_and_ty(lo, vis, attrs)?;
match self.token {
token::Comma => {
self.bump();
Expand All @@ -5116,8 +5116,9 @@ impl<'a> Parser<'a> {
/// Parse an element of a struct definition
fn parse_struct_decl_field(&mut self) -> PResult<'a, StructField> {
let attrs = self.parse_outer_attributes()?;
let lo = self.span.lo;
let vis = self.parse_visibility(true)?;
self.parse_single_struct_field(vis, attrs)
self.parse_single_struct_field(lo, vis, attrs)
}

// If `allow_path` is false, just parse the `pub` in `pub(path)` (but still parse `pub(crate)`)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
// Copyright 2016 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
Expand All @@ -8,23 +8,15 @@
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// Regression test for issue #26083
// Test that span for public struct fields start at `pub` instead of the identifier
// Regression test for issue #26083 and #35435
// Test that span for public struct fields start at `pub`

struct Foo {
pub bar: u8,
#![feature(pub_restricted)]

pub
//~^ error: field `bar` is already declared [E0124]
struct Foo {
bar: u8,

pub bar:
//~^ error: field `bar` is already declared [E0124]
u8,

bar:
//~^ error: field `bar` is already declared [E0124]
u8,
pub bar: u8,
pub(crate) bar: u8,
}

fn main() { }
fn main() {}
19 changes: 19 additions & 0 deletions src/test/ui/span/pub-struct-field.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
error[E0124]: field `bar` is already declared
--> $DIR/pub-struct-field.rs:18:5
|
17 | bar: u8,
| ------- `bar` first declared here
18 | pub bar: u8,
| ^^^^^^^^^^^ field already declared

error[E0124]: field `bar` is already declared
--> $DIR/pub-struct-field.rs:19:5
|
17 | bar: u8,
| ------- `bar` first declared here
18 | pub bar: u8,
19 | pub(crate) bar: u8,
| ^^^^^^^^^^^^^^^^^^ field already declared

error: aborting due to 2 previous errors

0 comments on commit f76a737

Please sign in to comment.