[ (name evaluation CP-600) Provide check fails (structure replication): Top.S ] is occured from SML#1.2.0

dup_structure

(* .smi *)
_require "basis.smi"

structure S =
struct
  val id : 'a -> 'a
end

structure Top =
struct
  structure S = S
end

(* .sml *)
structure S =
struct
  fun id x = x
end

signature TOP =
sig
  structure S : sig
    val id : 'a -> 'a
  end
end

structure Top :> TOP =
struct
  structure S = S
end