Closed ShepherdSoasis closed 1 year ago
We fixed some of the compilation errors on this PR (finally). The tests still fail due to some issues with the automatic lua pulling and building system; we feel this should be fixed soon. Nevertheless,
ok to merge?
Yes, sorry; thanks for doing this. This will help immensely with allowing overriding in this specific case, and cleaning up the assert macro was very helpful. There's more to do in this direction but I think this helps enough. I need to clean up the tests and similar so that we have a proper working point, but there is.... SO much to fix in this repository....
This Pull Request adds a new exhaustiveness check feature. The tests were updated, and some general fixes were applied in line with what @ThePhD asked for earlier.
sol:::exhaustive<T>
andsol::exhaustive_until<T, N>
types & related feature. This forces the type checker to dig into container-like types. It checks if the entire table (or up toN
elements in a table) pass the type check.std::vector<TypeA>
from astd::list<TypeB>
properly when sourced from a Lua Table.container_exhaustive
and others.