marko-js / language-server

Marko autocomplete, intellisense and editor support.
MIT License
38 stars 8 forks source link

Type-checking broken for `<await>` #199

Closed vwong closed 1 year ago

vwong commented 1 year ago

@marko/type-check@0.0.13

Also occurs in 0.0.14, 0.0.15

Details

Trying to type check a repository that uses <await>

Expected Behavior

Expect <@then> to be typed correctly

Actual Behavior

Types lost in <@then>

Possible Fix

See https://github.com/marko-js/language-server/commit/c71eacf6ec4b3a8607071f0b007f7c2b2a4cef4c#comments

It looks like the <await> tag isn't emitted, and therefore excluded from typechecking