Skip to content

Commit

Permalink
Clarified E0015 message, r=estebank
Browse files Browse the repository at this point in the history
  • Loading branch information
krk committed Apr 18, 2018
1 parent d703622 commit b39b3a2
Show file tree
Hide file tree
Showing 6 changed files with 40 additions and 7 deletions.
4 changes: 2 additions & 2 deletions src/librustc_mir/transform/qualify_consts.rs
Expand Up @@ -964,15 +964,15 @@ 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 \
compiler via `const fn`"))
} else {
(format!("calls in {}s are limited \
to constant functions, \
struct and enum constructors",
tuple structs and tuple variants",
self.mode),
None)
};
Expand Down
2 changes: 1 addition & 1 deletion src/test/compile-fail/issue-43105.rs
Expand Up @@ -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() {
Expand Down
9 changes: 6 additions & 3 deletions src/test/compile-fail/issue32829.rs
Expand Up @@ -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 = {
Expand All @@ -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
}
};
Expand All @@ -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
}
};
Expand All @@ -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
}
};
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/const-fn-error.stderr
Expand Up @@ -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 {
Expand Down
21 changes: 21 additions & 0 deletions src/test/ui/mir_check_nonconst.rs
@@ -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() {}
9 changes: 9 additions & 0 deletions src/test/ui/mir_check_nonconst.stderr
@@ -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`.

0 comments on commit b39b3a2

Please sign in to comment.