Skip to content
Snippets Groups Projects
Commit 5c55d411 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 3cb104b1
No related branches found
No related tags found
1 merge request!3221Marge Bot Batch MR - DO NOT TOUCH
Pipeline #18959 failed
Stage: lint
Stage: quick-build
Stage: build
Stage: full-build
Stage: cleanup
Stage: packaging
Stage: testing
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