Can't refine clone with mutually recursive types
I encountered the following unexpected error when trying to refine a clone using a mutually recursive type:
There was an unrecoverable error during treatment of request:
reload
with exception:
Illegal instantiation for type t:
the refining type must be a non-recursive record
MVCE:
module Types
type a = B b
with b = A a | None
end
module X
type t
end
module A
use Types
clone X with type t = a
end
I feel like this error should not occur, is there any real reason to forbid mutually recursive types?