-//! Ideally, these tests would go in `where-allowed.rs`, but we bail out
-//! too early to display them.
use std::fmt::Debug;
-// Disallowed
-fn in_adt_in_return() -> Vec<impl Debug> { panic!() } //~ ERROR cannot resolve opaque type
+// check-pass
+
+fn in_adt_in_return() -> Vec<impl Debug> { panic!() }
fn main() {}