Skip to content

Commit

Permalink
Rollup merge of #117190 - matthiaskrgr:test_effects_113381, r=fee1-dead
Browse files Browse the repository at this point in the history
add test for #113381

Fixes #113381

r? fee1-dead
  • Loading branch information
matthiaskrgr authored Nov 6, 2023
2 parents aea82b2 + 384f738 commit 1683df7
Show file tree
Hide file tree
Showing 2 changed files with 26 additions and 0 deletions.
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
#![feature(const_closures, const_trait_impl, effects)]
#![allow(incomplete_features)]

trait Foo {
fn foo(&self);
}

impl Foo for () {
fn foo(&self) {}
}

fn main() {
(const || { (()).foo() })();
//~^ ERROR: cannot call non-const fn
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
error[E0015]: cannot call non-const fn `<() as Foo>::foo` in constant functions
--> $DIR/const_closure-const_trait_impl-ice-113381.rs:13:22
|
LL | (const || { (()).foo() })();
| ^^^^^
|
= note: calls in constant functions are limited to constant functions, tuple structs and tuple variants

error: aborting due to previous error

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

0 comments on commit 1683df7

Please sign in to comment.