(self, t: ProperType, t2: ProperType)
| 127 | assert False, "only ProperTypes supported" |
| 128 | |
| 129 | def copy_common(self, t: ProperType, t2: ProperType) -> ProperType: |
| 130 | t2.line = t.line |
| 131 | t2.column = t.column |
| 132 | t2.can_be_false = t.can_be_false |
| 133 | t2.can_be_true = t.can_be_true |
| 134 | return t2 |
no outgoing calls
no test coverage detected