Structsยง
Enumsยง
- Call
Step ๐ - State machine for typechecking a call, based on the callee type.
- Splat
Lowering ๐Info - Side-table info for lowering splatted function arguments.
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).