Clarified E0015 message, r=estebank

This commit is contained in:
krk 2018-04-17 18:59:27 +03:00
parent d703622ce0
commit b39b3a2f49
6 changed files with 40 additions and 7 deletions

View file

@ -964,7 +964,7 @@ This does not pose a problem by itself because they can't be accessed directly."
let (msg, note) = if let UnstableFeatures::Disallow =
self.tcx.sess.opts.unstable_features {
(format!("calls in {}s are limited to \
struct and enum constructors",
tuple structs and tuple variants",
self.mode),
Some("a limited form of compile-time function \
evaluation is available on a nightly \
@ -972,7 +972,7 @@ This does not pose a problem by itself because they can't be accessed directly."
} else {
(format!("calls in {}s are limited \
to constant functions, \
struct and enum constructors",
tuple structs and tuple variants",
self.mode),
None)
};

View file

@ -11,7 +11,7 @@
fn xyz() -> u8 { 42 }
const NUM: u8 = xyz();
//~^ ERROR calls in constants are limited to constant functions, struct and enum constructors
//~^ ERROR calls in constants are limited to constant functions, tuple structs and tuple variants
//~| ERROR constant evaluation error
fn main() {

View file

@ -7,6 +7,9 @@
// <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.
// ignore-tidy-linelength
#![feature(const_fn)]
const bad : u32 = {
@ -20,7 +23,7 @@ const bad_two : u32 = {
{
invalid();
//~^ ERROR: blocks in constants are limited to items and tail expressions
//~^^ ERROR: calls in constants are limited to constant functions, struct and enum
//~^^ ERROR: calls in constants are limited to constant functions, tuple structs and tuple variants
0
}
};
@ -44,7 +47,7 @@ static bad_five : u32 = {
{
invalid();
//~^ ERROR: blocks in statics are limited to items and tail expressions
//~^^ ERROR: calls in statics are limited to constant functions, struct and enum
//~^^ ERROR: calls in statics are limited to constant functions, tuple structs and tuple variants
0
}
};
@ -68,7 +71,7 @@ static mut bad_eight : u32 = {
{
invalid();
//~^ ERROR: blocks in statics are limited to items and tail expressions
//~^^ ERROR: calls in statics are limited to constant functions, struct and enum
//~^^ ERROR: calls in statics are limited to constant functions, tuple structs and tuple variants
0
}
};

View file

@ -4,7 +4,7 @@ error[E0016]: blocks in constant functions are limited to items and tail express
LL | let mut sum = 0;
| ^
error[E0015]: calls in constant functions are limited to constant functions, struct and enum constructors
error[E0015]: calls in constant functions are limited to constant functions, tuple structs and tuple variants
--> $DIR/const-fn-error.rs:18:14
|
LL | for i in 0..x {

View file

@ -0,0 +1,21 @@
// 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 <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.
#![allow(dead_code)]
struct Foo { a: u8 }
fn bar() -> Foo {
Foo { a: 5 }
}
static foo: Foo = bar();
//~^ ERROR calls in statics are limited to constant functions, tuple structs and tuple variants
fn main() {}

View file

@ -0,0 +1,9 @@
error[E0015]: calls in statics are limited to constant functions, tuple structs and tuple variants
--> $DIR/mir_check_nonconst.rs:18:19
|
LL | static foo: Foo = bar();
| ^^^^^
error: aborting due to previous error
For more information about this error, try `rustc --explain E0015`.