Searched refs:mb_tc_app (Results 1 – 1 of 1) sorted by relevance
1903 ; let mb_tc_app = tcSplitTyConApp_maybe ty' function1904 Just (tc, tc_args) = mb_tc_app1905 ; checkTc (isJust mb_tc_app)