Members' `type` functions now accept an optional descendant context declaration.#256

Open

bicknellr wants to merge 9 commits intorunem:masterfrom bicknellr:contextual-member-types

+413-10

Commits on Jan 4, 2023

Members' type functions now accept an optional descendant context declaration. (...)
bicknellr
committed

Commits on Jan 5, 2023

memberNode -> declarationNode
bicknellr
committed
Add basic tests for types of members from generic base classes.
bicknellr
committed
Reverse assignability assertions to confirm that the given type is a subtype of the example type.
bicknellr
committed
Add support for members discovered from accessors.
bicknellr
committed
Add support for members discovered from assignments in constructors.
bicknellr
committed
Prevent constructor declaration member types from being incorrectly relaxed.
bicknellr
committed
Update a test case that now produces more specific type information.
bicknellr
committed
Add a test for generic mixins.
bicknellr
committed