Closed mtshiba closed 2 years ago
Fixed a type inference bug for dependent procedural methods. This fix will allow move_check.er to compile successfully.
move_check.er
Fixed a type inference bug for dependent procedural methods. This fix will allow
move_check.er
to compile successfully.