force solving all constraints before giving up with an arity error when typing applications
force solving all constraints before giving up with an arity error when typing applications

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