@@ -42,42 +42,46 @@ impl LanguageMethods for Kotlin {
4242 config : & crate :: config:: WitConfig ,
4343 _args : & [ String ] ,
4444 ) -> bool {
45- config. error_context
46- // TODO: fix these codegen failures, and organize them better (e.g. add as a failure condition config.async_ here, once we have real verification)
47- || matches ! (
48- name,
49- "future-same-type-different-names.wit"
50- | "futures.wit"
51- | "import-and-export-resource-alias.wit"
52- | "import-and-export-resource.wit"
53- | "import-export-future.wit"
54- | "import-export-stream.wit"
55- | "issue-1432.wit"
56- | "issue-1544.wit"
57- | "issue1515-special-in-comment.wit"
58- | "issue573.wit"
59- | "issue929-only-methods.wit"
60- | "issue929.wit"
61- | "keywords-in-interfaces-and-worlds.wit"
62- | "named-fixed-length-list.wit"
63- | "rename-interface.wit"
64- | "resource-alias.wit"
65- | "resource-borrow-in-record.wit"
66- | "resource-fallible-constructor.wit"
67- | "resource-local-alias.wit"
68- | "resource-own-in-other-interface.wit"
69- | "resources-in-aggregates.wit"
70- | "resources-with-futures.wit"
71- | "resources-with-lists.wit"
72- | "resources-with-streams.wit"
73- | "resources.wit"
74- | "return-resource-from-export.wit"
75- | "smoke-export.wit"
76- | "smoke.wit"
77- | "streams.wit"
78- | "unused-import.wit"
79- | "use-across-interfaces.wit"
45+ if config. error_context {
46+ return true
47+ }
48+
49+ if config. async_
50+ // Except these actually do work:
51+ && !matches ! ( name,
52+ "async-trait-function.wit" |
53+ "async-resource-func.wit" |
54+ "issue-1433.wit"
8055 )
56+ {
57+ return true ;
58+ }
59+
60+ // TODO: fix these codegen failures
61+ matches ! ( name,
62+ "resource-borrow-in-record.wit" |
63+ "unused-import.wit" |
64+ "smoke.wit" |
65+ "resource-own-in-other-interface.wit" |
66+ "resource-alias.wit" |
67+ "keywords-in-interfaces-and-worlds.wit" |
68+ "import-and-export-resource-alias.wit" |
69+ "resources-in-aggregates.wit" |
70+ "issue929-only-methods.wit" |
71+ "resource-local-alias.wit" |
72+ "resources-with-lists.wit" |
73+ "smoke-export.wit" |
74+ "resources.wit" |
75+ "resource-fallible-constructor.wit" |
76+ "use-across-interfaces.wit" |
77+ "import-and-export-resource.wit" |
78+ "issue1515-special-in-comment.wit" |
79+ "issue573.wit" |
80+ "return-resource-from-export.wit" |
81+ "issue929.wit" |
82+ "named-fixed-length-list.wit" |
83+ "rename-interface.wit"
84+ )
8185 }
8286
8387 fn verify ( & self , runner : & Runner , verify : & Verify ) -> Result < ( ) > {
0 commit comments