Skip to content

Make isTauTy detect higher-rank contexts

Ryan Scott requested to merge wip/T18127 into master

Previously, isTauTy would only detect higher-rank foralls, not higher-rank contexts, which led to some minor bugs observed in #18127 (closed). Easily fixed by adding a case for (FunTy InvisArg _ _).

Fixes #18127 (closed).

Merge request reports