(self, fn: FuncDecl, args: Sequence[Value], line: int)
| 635 | """ |
| 636 | |
| 637 | def __init__(self, fn: FuncDecl, args: Sequence[Value], line: int) -> None: |
| 638 | self.fn = fn |
| 639 | self.args = list(args) |
| 640 | assert len(self.args) == len(fn.sig.args) |
| 641 | self.type = fn.sig.ret_type |
| 642 | ret_type = fn.sig.ret_type |
| 643 | if not ret_type.error_overlap: |
| 644 | self.error_kind = ERR_MAGIC |
| 645 | else: |
| 646 | self.error_kind = ERR_MAGIC_OVERLAPPING |
| 647 | super().__init__(line) |
| 648 | |
| 649 | def sources(self) -> list[Value]: |
| 650 | return list(self.args.copy()) |