Skip to content
Snippets Groups Projects
Commit edec6a6c authored by Ryan Scott's avatar Ryan Scott Committed by Marge Bot
Browse files

Make isTauTy detect higher-rank contexts 

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

Fixes #18127.
parent 9f3e6884
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 91 additions and 9 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment