src/test/ui/impl-trait/issue-67166.rs

   1 // Regression test for #67166
   2
   3 #![feature(impl_trait_in_bindings)]
   4 #![allow(incomplete_features)]
   5
   6 pub fn run() {
   7     let _foo: Box<impl Copy + '_> = Box::new(()); // FIXME: The error doesn't much make sense.
   8     //~^ ERROR: opaque type expands to a recursive type
   9 }
  10
  11 fn main() {}