From: Jean Privat Date: Sat, 25 Apr 2020 07:12:47 +0000 (-0400) Subject: Merge: typing: Add a mechanism to disable warnings X-Git-Url: http://nitlanguage.org Merge: typing: Add a mechanism to disable warnings Add a mechanism to suppress warnings during the typing phase. I also took the opportunity to modify a bad indentation in the file :smile: . Pull-Request: #2818 Reviewed-by: Jean Privat --- 9f2be5bd6fa9dfddfd6f0bfd63e9d49346f31b7a