with-without-next-solver.rs

// test that we error correctly when effects is used without the next-solver flag.
//@ revisions: stock coherence full
//@[coherence] compile-flags: -Znext-solver=coherence
//@[full] compile-flags: -Znext-solver
//@[full] check-pass

#![feature(effects)]
#![allow(incomplete_features)]

fn main() {}