Skip to content

Commit

Permalink
Add regression test for #79450
Browse files Browse the repository at this point in the history
Signed-off-by: Yuki Okushi <[email protected]>
  • Loading branch information
JohnTitor committed Dec 4, 2022
1 parent 2341517 commit 047fda2
Show file tree
Hide file tree
Showing 2 changed files with 32 additions and 0 deletions.
20 changes: 20 additions & 0 deletions src/test/ui/rfc-2632-const-trait-impl/issue-79450.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
#![feature(const_fmt_arguments_new)]
#![feature(const_trait_impl)]

#[const_trait]
trait Tr {
fn req(&self);

fn prov(&self) {
println!("lul"); //~ ERROR: cannot call non-const fn `_print` in constant functions
self.req();
}
}

struct S;

impl const Tr for S {
fn req(&self) {}
}

fn main() {}
12 changes: 12 additions & 0 deletions src/test/ui/rfc-2632-const-trait-impl/issue-79450.stderr
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
error[E0015]: cannot call non-const fn `_print` in constant functions
--> $DIR/issue-79450.rs:9:9
|
LL | println!("lul");
| ^^^^^^^^^^^^^^^
|
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants
= note: this error originates in the macro `println` (in Nightly builds, run with -Z macro-backtrace for more info)

error: aborting due to previous error

For more information about this error, try `rustc --explain E0015`.

0 comments on commit 047fda2

Please sign in to comment.