diff --git a/src/librustc_typeck/astconv.rs b/src/librustc_typeck/astconv.rs index 9e8352fde8061..b8906d7cbe323 100644 --- a/src/librustc_typeck/astconv.rs +++ b/src/librustc_typeck/astconv.rs @@ -156,10 +156,7 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { match item_segment.parameters { hir::AngleBracketedParameters(_) => {} hir::ParenthesizedParameters(..) => { - struct_span_err!(tcx.sess, span, E0214, - "parenthesized parameters may only be used with a trait") - .span_label(span, "only traits may use parentheses") - .emit(); + self.prohibit_parenthesized_params(item_segment); return Substs::for_item(tcx, def_id, |_, _| { tcx.types.re_static @@ -370,6 +367,8 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { self_ty: Ty<'tcx>) -> ty::TraitRef<'tcx> { + self.prohibit_type_params(trait_ref.path.segments.split_last().unwrap().1); + let trait_def_id = self.trait_def_id(trait_ref); self.ast_path_to_mono_trait_ref(trait_ref.path.span, trait_def_id, @@ -402,6 +401,8 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { debug!("ast_path_to_poly_trait_ref({:?}, def_id={:?})", trait_ref, trait_def_id); + self.prohibit_type_params(trait_ref.path.segments.split_last().unwrap().1); + let (substs, assoc_bindings) = self.create_substs_for_ast_trait_ref(trait_ref.path.span, trait_def_id, @@ -623,6 +624,13 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { dummy_self, &mut projection_bounds); + for trait_bound in trait_bounds[1..].iter() { + // Sanity check for non-principal trait bounds + self.instantiate_poly_trait_ref(trait_bound, + dummy_self, + &mut vec![]); + } + let (auto_traits, trait_bounds) = split_auto_traits(tcx, &trait_bounds[1..]); if !trait_bounds.is_empty() { @@ -937,6 +945,10 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { pub fn prohibit_type_params(&self, segments: &[hir::PathSegment]) { for segment in segments { + if let hir::ParenthesizedParameters(_) = segment.parameters { + self.prohibit_parenthesized_params(segment); + break; + } for typ in segment.parameters.types() { struct_span_err!(self.tcx().sess, typ.span, E0109, "type parameters are not allowed on this type") @@ -959,6 +971,15 @@ impl<'o, 'gcx: 'tcx, 'tcx> AstConv<'gcx, 'tcx>+'o { } } + pub fn prohibit_parenthesized_params(&self, segment: &hir::PathSegment) { + if let hir::ParenthesizedParameters(ref data) = segment.parameters { + struct_span_err!(self.tcx().sess, data.span, E0214, + "parenthesized parameters may only be used with a trait") + .span_label(data.span, "only traits may use parentheses") + .emit(); + } + } + pub fn prohibit_projection(&self, span: Span) { let mut err = struct_span_err!(self.tcx().sess, span, E0229, "associated type bindings are not allowed here"); diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs index 70d2867c08ce6..fa3008b1eaf8a 100644 --- a/src/librustc_typeck/check/mod.rs +++ b/src/librustc_typeck/check/mod.rs @@ -4523,7 +4523,8 @@ impl<'a, 'gcx, 'tcx> FnCtxt<'a, 'gcx, 'tcx> { (&data.lifetimes[..], &data.types[..], data.infer_types, &data.bindings[..]) } Some(&hir::ParenthesizedParameters(_)) => { - span_bug!(span, "parenthesized parameters cannot appear in ExprPath"); + AstConv::prohibit_parenthesized_params(self, &segment.as_ref().unwrap().0); + (&[][..], &[][..], true, &[][..]) } None => (&[][..], &[][..], true, &[][..]) } diff --git a/src/test/compile-fail/issue-32995-2.rs b/src/test/compile-fail/issue-32995-2.rs new file mode 100644 index 0000000000000..80113d3b4ec73 --- /dev/null +++ b/src/test/compile-fail/issue-32995-2.rs @@ -0,0 +1,25 @@ +// Copyright 2017 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. + +#![feature(conservative_impl_trait)] + +fn main() { + { fn f() {} } + //~^ ERROR parenthesized parameters may only be used with a trait + + { fn f() -> impl ::std::marker()::Send { } } + //~^ ERROR parenthesized parameters may only be used with a trait +} + +#[derive(Clone)] +struct X; + +impl ::std::marker()::Copy for X {} +//~^ ERROR parenthesized parameters may only be used with a trait diff --git a/src/test/compile-fail/issue-32995.rs b/src/test/compile-fail/issue-32995.rs new file mode 100644 index 0000000000000..d38bec455134e --- /dev/null +++ b/src/test/compile-fail/issue-32995.rs @@ -0,0 +1,41 @@ +// Copyright 2017 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. + +fn main() { + let s: String() = String::from("foo"); + //~^ ERROR parenthesized parameters may only be used with a trait + + let x: usize() = 1; + //~^ ERROR parenthesized parameters may only be used with a trait + + let b: ::std::boxed()::Box<_> = Box::new(1); + //~^ ERROR parenthesized parameters may only be used with a trait + + macro_rules! pathexpr { + ($p:path) => { $p } + } + + let p = pathexpr!(::std::str()::from_utf8)(b"foo").unwrap(); + //~^ ERROR parenthesized parameters may only be used with a trait + + let p = pathexpr!(::std::str::from_utf8())(b"foo").unwrap(); + //~^ ERROR parenthesized parameters may only be used with a trait + + let o : Box<::std::marker()::Send> = Box::new(1); + //~^ ERROR parenthesized parameters may only be used with a trait + + let o : Box = Box::new(1); + //~^ ERROR parenthesized parameters may only be used with a trait +} + +fn foo() { + let d : X() = Default::default(); + //~^ ERROR parenthesized parameters may only be used with a trait +}