(ab)use the deprecated attribute to warn about implementation-defined behavior in signed casts
(ab)use the deprecated attribute to warn about implementation-defined behavior in signed casts

FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,A-Manning/FStar,FStarLang/FStar