From: Jean Privat Date: Sat, 25 Apr 2020 07:12:45 +0000 (-0400) Subject: Merge: typing: Add `do_typing` on AExpr X-Git-Url: http://nitlanguage.org Merge: typing: Add `do_typing` on AExpr Add a way to type an `AExpr` individually. In my case this method is used in order to type expressions provided for the `old()` in ensures contract. Pull-Request: #2819 Reviewed-by: Jean Privat --- 861463f10d1adf030591154eb340d9d53f5b36c7