Question: virtual_flag in typedtree is duplicated. #6742
Original bug ID: 6742
In the typedtree, we have the following definition:
| Tstr_class of (class_declaration * string list * virtual_flag) list
However, class_declaration = class_expr class_infos and class_infos has a field ci_virt containing the virtual flag.
After a bit of investigation, class_infos seems to have been introduced much later than the virtual flag in Tstr_class. In the code, they seem to be equal (but obtained by different means). Is it really the case, and if no, why ?