Structsยง
Enumsยง
- Call
Step ๐ - State machine for typechecking a call, based on the callee type.
Functionsยง
- check_
legal_ ๐trait_ for_ method_ call - Checks that it is legal to call methods of the trait corresponding
to
trait_id(this only cares about the trait, not the specific method that is called).