src/test/ui/chalkify/trait-objects.rs

   1 // check-pass
   2 // compile-flags: -Z chalk
   3
   4 use std::fmt::Display;
   5
   6 fn main() {
   7     let d: &dyn Display = &mut 3;
   8     // FIXME(chalk) should be able to call d.to_string() as well, but doing so
   9     // requires Chalk to be able to prove trait object well-formed goals.
  10     (&d).to_string();
  11     let f: &dyn Fn(i32) -> _ = &|x| x + x;
  12     f(2);
  13 }