@@ -105,8 +105,10 @@ function Type_assert(typ: Type, impls: {string: string}) {
105105 for (local hintOrOperator, expectedImpl: impls) {
106106 local actualImpl: string | none = Type_getImplName(typ, hintOrOperator);
107107 if (actualImpl !is none) {
108- assert expectedImpl in actualImpl,
109- f"'{typ}.<native>.{hintOrOperator}' should be "
108+ assert (expectedImpl is string
109+ ? expectedImpl in actualImpl
110+ : (for (local x: expectedImpl) x in actualImpl) || ...
111+ ), f"'{typ}.<native>.{hintOrOperator}' should be "
110112 f"'{expectedImpl}', but is '{actualImpl}'";
111113 }
112114 }
@@ -264,9 +266,9 @@ Type_assert(deemon.Dict, {
264266 "mh_seq_any_with_key": "default__seq_any_with_key__with__seq_operator_foreach",
265267 "mh_seq_any_with_range": "default__seq_any_with_range__with__seqclass_map__and__seq_operator_bool__and__map_operator_size",
266268 "mh_seq_any_with_range_and_key": "default__seq_any_with_range_and_key__with__seq_enumerate_index",
267- "mh_seq_all": "_DeeNone_reti1_1",
269+ "mh_seq_all": { "_DeeNone_reti1_1", "_DeeNone_reti1"} ,
268270 "mh_seq_all_with_key": "default__seq_all_with_key__with__seq_operator_foreach",
269- "mh_seq_all_with_range": "_DeeNone_reti1_3",
271+ "mh_seq_all_with_range": { "_DeeNone_reti1_3", "_DeeNone_reti1"} ,
270272 "mh_seq_all_with_range_and_key": "default__seq_all_with_range_and_key__with__seq_enumerate_index",
271273 "mh_seq_parity": "default__seq_parity__with__seq_count",
272274 "mh_seq_parity_with_key": "default__seq_parity_with_key__with__seq_operator_foreach",
0 commit comments