Motoko 0.13.7 (source 0r070mg1-rx9fyax2-n7yqcfm2-xqryza9p)

[Snassy-icp]

Fatal error: exception File "mo_types/productive.ml", line 61, characters 19-25: Assertion failed
Raised at Mo_types__Productive.non_productive.visit_con in file "mo_types/productive.ml", line 61, characters 19-31
Called from Mo_types__Productive.non_productive.rhs in file "mo_types/productive.ml", line 34, characters 8-22
Called from Mo_types__Productive.non_productive.visit_con in file "mo_types/productive.ml", line 63, characters 10-33
Called from Stdlib__set.Make.iter in file "set.ml", line 378, characters 35-38
Called from Mo_types__Productive.non_productive in file "mo_types/productive.ml", line 67, characters 2-41

[ggreif]

@crusso we need the type definition that triggers this assert. @Snassy-icp can you figure out the diff that caused this in your source code?

[ggreif]

0.13.7 is old, does this happen with recent moc (or dfx)?