Closed kaleidawave closed 1 month ago
Wondering whether to make events flatten and reuse them more (instead of state and ApplicationResult
which sorts of duplicates information).
Also on the topic of events: should have an option to record all set and variable events for usage in extra diagnostics
Still to do
typeof
and keyof
it might be a better way than the current #34 Done
this
setting improvements (not as an event anymore which is a little simpler)For mapped types: could
However
2 is a little cheaty
1 is a workaround for the fact that can't create types without &mut TypeStore
. PropertyKey wouldn't have a problem if TypeId
could reference a string (possibly interned). So maybe better to pause for when I attempt #120
Managed to squeeze some new features in here, bringing the passing tests to 235!
This is weird. But we move
error:
┌─ demo.ts:414:7
│
410 │ function getA<T extends { a: strinthread 'main' panicked at /home/runner/.cargo/registry/src/index.crates.io-6f17d22bba15001f/source-map-0.15.0/src/filesystem.rs:141:24:
index out of bounds: the len is 2 but the index is 18446744073709551615
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
g }>(p: T) {
│ ---- Parameter has type T
·
414 │ getA({ a: 2 })
│
* extends * ?
,infer U
and distributive extendsnever
#136 + or foldingget_fact_by_type
into the only place it is used:get_property_unbound
this
object creation as an event (move logic internal to function calling)Func.prototype.x
thing