// revisions: stock gated stocknc gatednc | |
// [gated] check-pass | |
#![cfg_attr(any(gated, gatednc), feature(const_trait_impl, effects))] | |
// aux-build: cross-crate.rs | |
extern crate cross_crate; | |
use cross_crate::*; | |
fn non_const_context() { | |
NonConst.func(); | |
Const.func(); | |
} | |
const fn const_context() { | |
#[cfg(any(stocknc, gatednc))] | |
NonConst.func(); | |
//[stocknc]~^ ERROR: cannot call | |
//[gatednc]~^^ ERROR: the trait bound | |
Const.func(); | |
//[stock]~^ ERROR: cannot call | |
//[stocknc]~^^ ERROR: cannot call | |
} | |
fn main() {} |