Type Checking Extracted Methods. - Yuquan Fu; Sam Tobin-Hochstadt (Art Sci. Eng. Program., 2022)