Error with remove_unused when a meta is associated to a symbol
The file tester__ring_buffer__free.mlw fails with the following error:
Fatal error: exception Ident __split_fields_rec__tester__ring_buffer__ring_buffer_type__items__projection is not yet declared Raised at Decl.known_add_decl in file "src/core/decl.ml", line 700, characters 7-44
Commenting the two lines 446 and 448 (associating a meta
to the function __split_fields_rec__tester__ring_buffer__ring_buffer_type__items__projection
is enough to remove the error message.