Feature-gate <> syntax used with Fn. Fixes #18875.
This commit is contained in:
@@ -582,6 +582,19 @@ fn ast_path_to_trait_ref<'a,'tcx>(
|
|||||||
|
|
||||||
let (regions, types, assoc_bindings) = match path.segments.last().unwrap().parameters {
|
let (regions, types, assoc_bindings) = match path.segments.last().unwrap().parameters {
|
||||||
ast::AngleBracketedParameters(ref data) => {
|
ast::AngleBracketedParameters(ref data) => {
|
||||||
|
// For now, require that parenthetical notation be used
|
||||||
|
// only with `Fn()` etc.
|
||||||
|
if !this.tcx().sess.features.borrow().unboxed_closures &&
|
||||||
|
this.tcx().lang_items.fn_trait_kind(trait_def_id).is_some()
|
||||||
|
{
|
||||||
|
this.tcx().sess.span_err(path.span,
|
||||||
|
"angle-bracket notation is not stable when \
|
||||||
|
used with the `Fn` family of traits, use parentheses");
|
||||||
|
span_help!(this.tcx().sess, path.span,
|
||||||
|
"add `#![feature(unboxed_closures)]` to \
|
||||||
|
the crate attributes to enable");
|
||||||
|
}
|
||||||
|
|
||||||
convert_angle_bracketed_parameters(this, &shifted_rscope, data)
|
convert_angle_bracketed_parameters(this, &shifted_rscope, data)
|
||||||
}
|
}
|
||||||
ast::ParenthesizedParameters(ref data) => {
|
ast::ParenthesizedParameters(ref data) => {
|
||||||
|
|||||||
@@ -11,15 +11,15 @@
|
|||||||
#![allow(dead_code)]
|
#![allow(dead_code)]
|
||||||
|
|
||||||
struct Foo;
|
struct Foo;
|
||||||
impl Fn<(), ()> for Foo { //~ ERROR manual implementations of `Fn` are experimental
|
impl Fn() for Foo { //~ ERROR manual implementations of `Fn` are experimental
|
||||||
extern "rust-call" fn call(&self, args: ()) -> () {}
|
extern "rust-call" fn call(&self, args: ()) -> () {}
|
||||||
}
|
}
|
||||||
struct Bar;
|
struct Bar;
|
||||||
impl FnMut<(), ()> for Bar { //~ ERROR manual implementations of `FnMut` are experimental
|
impl FnMut() for Bar { //~ ERROR manual implementations of `FnMut` are experimental
|
||||||
extern "rust-call" fn call_mut(&self, args: ()) -> () {}
|
extern "rust-call" fn call_mut(&self, args: ()) -> () {}
|
||||||
}
|
}
|
||||||
struct Baz;
|
struct Baz;
|
||||||
impl FnOnce<(), ()> for Baz { //~ ERROR manual implementations of `FnOnce` are experimental
|
impl FnOnce() for Baz { //~ ERROR manual implementations of `FnOnce` are experimental
|
||||||
extern "rust-call" fn call_once(&self, args: ()) -> () {}
|
extern "rust-call" fn call_once(&self, args: ()) -> () {}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
@@ -10,7 +10,7 @@
|
|||||||
|
|
||||||
#![allow(dead_code)]
|
#![allow(dead_code)]
|
||||||
|
|
||||||
fn foo<F: Fn<(), ()>>(mut f: F) {
|
fn foo<F: Fn()>(mut f: F) {
|
||||||
f.call(()); //~ ERROR explicit use of unboxed closure method `call`
|
f.call(()); //~ ERROR explicit use of unboxed closure method `call`
|
||||||
f.call_mut(()); //~ ERROR explicit use of unboxed closure method `call_mut`
|
f.call_mut(()); //~ ERROR explicit use of unboxed closure method `call_mut`
|
||||||
f.call_once(()); //~ ERROR explicit use of unboxed closure method `call_once`
|
f.call_once(()); //~ ERROR explicit use of unboxed closure method `call_once`
|
||||||
|
|||||||
@@ -10,7 +10,7 @@
|
|||||||
|
|
||||||
#![allow(dead_code)]
|
#![allow(dead_code)]
|
||||||
|
|
||||||
fn foo<F: Fn<(), ()>>(mut f: F, mut g: F) {
|
fn foo<F: Fn()>(mut f: F, mut g: F) {
|
||||||
Fn::call(&g, ()); //~ ERROR explicit use of unboxed closure method `call`
|
Fn::call(&g, ()); //~ ERROR explicit use of unboxed closure method `call`
|
||||||
FnMut::call_mut(&mut g, ()); //~ ERROR explicit use of unboxed closure method `call_mut`
|
FnMut::call_mut(&mut g, ()); //~ ERROR explicit use of unboxed closure method `call_mut`
|
||||||
FnOnce::call_once(g, ()); //~ ERROR explicit use of unboxed closure method `call_once`
|
FnOnce::call_once(g, ()); //~ ERROR explicit use of unboxed closure method `call_once`
|
||||||
|
|||||||
@@ -0,0 +1,23 @@
|
|||||||
|
// 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 <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 the `Fn` traits require `()` form without a feature gate.
|
||||||
|
|
||||||
|
fn bar1(x: &Fn<(),()>) {
|
||||||
|
//~^ ERROR angle-bracket notation is not stable when used with the `Fn` family
|
||||||
|
}
|
||||||
|
|
||||||
|
fn bar2<T>(x: &T) where T: Fn<(),()> {
|
||||||
|
//~^ ERROR angle-bracket notation is not stable when used with the `Fn` family
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() { }
|
||||||
|
|
||||||
Reference in New Issue
Block a user