/// The specific types of unsupported syntax
#[derive(Copy, PartialEq, Eq, Hash)]
pub enum ObsoleteSyntax {
+ ObsoleteForSized,
ObsoleteOwnedType,
ObsoleteOwnedExpr,
ObsoleteOwnedPattern,
/// Reports an obsolete syntax non-fatal error.
fn obsolete(&mut self, sp: Span, kind: ObsoleteSyntax) {
let (kind_str, desc) = match kind {
+ ObsoleteForSized => (
+ "for Sized?",
+ "no longer required, traits apply to sized and unsized types by default, use \
+ `: Sized` to opt-out of unsized types",
+ ),
ObsoleteProcType => (
"the `proc` type",
"use unboxed closures instead",
// re-jigged shortly in any case, so leaving the hacky version for now.
if self.eat_keyword(keywords::For) {
let span = self.span;
+
let mut ate_question = false;
if self.eat(&token::Question) {
ate_question = true;
"expected `?Sized` after `for` in trait item");
return None;
}
- let tref = Parser::trait_ref_from_ident(ident, span);
- Some(tref)
+ let _tref = Parser::trait_ref_from_ident(ident, span);
+
+ self.obsolete(span, ObsoleteForSized);
+
+ None
} else {
None
}
--- /dev/null
+// Copyright 2015 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 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+// Test that we generate obsolete syntax errors around usages of `for Sized?`
+
+trait Foo for Sized? {} //~ ERROR obsolete syntax: for Sized?
+
+trait Bar for ?Sized {} //~ ERROR obsolete syntax: for Sized?
+
+fn main() { }