Hover over deriving in mutual recursion looks weird.

[Kakadu]

When we have mutual recursion we can put [@@deriving in multiple places. The compiler generates decent code any way, but for IDE only placing attribute after first type gives decent result on hover. Also, it seems not to depend on the PPX code: both qcheck and show give similar issues.

(* good ... *)
type a =
  | A
  | B of b
[@@deriving show]
and b = C of a
(* bad 
  (* ppx deriving expansion *)
  ;;show
  let _ = fun (_ : b) -> ()
  ;;"-39"
  let () = Ppx_inline_test_lib.unset_lib "miniml"
  let () = Expect_test_collector.Current_file.unset ()
*)
  type expr = Nil | C of name * expr
  and name = { a: expr; b: expr }
  [@@deriving qcheck2]

Is it a missed case from #1245 ?
I tried 1.18.0, the last one for OCaml 4.14