Commit 00de2b1
committed
fix(traits): transitive, minimal traits for types
Previously, I would just assign all useful traits to all types, no
matter on how they were actually used.
Now it builds all dependnecies and considers them when assigning
traits, which is as precise as we need it.
This is important to us as the `Json` type is just encodable, but
not decodable. Fortunately, we just have to encode it, but in theory
this makes it hard to embed any json in a known structure.1 parent e3ab233 commit 00de2b1
3 files changed
Lines changed: 1997 additions & 440 deletions
0 commit comments