Propagate a trivial expected type for recursive lambda if neccessary#1465

samth merged 2 commits intoracket:masterracket/typed-racket:masterfrom

samth:fix/kw-expected-typessamth/typed-racket:fix/kw-expected-typesCopy head branch name to clipboard