src/test/ui/span/E0493.stderr

   1 error[E0493]: constants are not allowed to have destructors
   2   --> $DIR/E0493.rs:27:17
   3    |
   4 16 |     fn drop(&mut self) {}
   5    |     --------------------- destructor defined here
   6 ...
   7 27 | const F : Foo = Foo { a : 0 };
   8    |                 ^^^^^^^^^^^^^ constants cannot have destructors
   9
  10 error: aborting due to previous error
  11