From 52fa187431b4209a4e8606790287eaf08741ef25 Mon Sep 17 00:00:00 2001 From: defuz Date: Thu, 22 Jan 2015 21:56:27 +0200 Subject: [PATCH] FIX #21475: Interval match patterns won't parse namespace specifiers correctly --- src/libsyntax/parse/parser.rs | 13 +++++++++++++ src/test/run-pass/issue-21475.rs | 26 ++++++++++++++++++++++++++ 2 files changed, 39 insertions(+) create mode 100644 src/test/run-pass/issue-21475.rs diff --git a/src/libsyntax/parse/parser.rs b/src/libsyntax/parse/parser.rs index f171e8279f49..1ef62cdf315d 100644 --- a/src/libsyntax/parse/parser.rs +++ b/src/libsyntax/parse/parser.rs @@ -3539,6 +3539,19 @@ impl<'a> Parser<'a> { self.bump(); pat = PatStruct(enum_path, fields, etc); } + token::DotDotDot => { + let hi = self.last_span.hi; + let start = self.mk_expr(lo, hi, ExprPath(enum_path)); + self.eat(&token::DotDotDot); + let end = if self.token.is_ident() || self.token.is_path() { + let path = self.parse_path(LifetimeAndTypesWithColons); + let hi = self.span.hi; + self.mk_expr(lo, hi, ExprPath(path)) + } else { + self.parse_literal_maybe_minus() + }; + pat = PatRange(start, end); + } _ => { let mut args: Vec> = Vec::new(); match self.token { diff --git a/src/test/run-pass/issue-21475.rs b/src/test/run-pass/issue-21475.rs new file mode 100644 index 000000000000..b0f5fe628b01 --- /dev/null +++ b/src/test/run-pass/issue-21475.rs @@ -0,0 +1,26 @@ +// 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. + +use m::{START, END}; + +fn main() { + match 42u32 { + m::START...m::END => {}, + // FIXME: Should also work (now: mismatched types in range [E0031]) + // 0u32...m::END => {}, + // m::START...59u32 => {}, + _ => {}, + } +} + +mod m { + pub const START: u32 = 4; + pub const END: u32 = 14; +}