Skip to content
Snippets Groups Projects
Commit 25f972dd authored by f-a's avatar f-a
Browse files

Make `check` recognise `TypeAbstractions` 

See #9496.

“Backport” of #9502, notice that we are not adding a new constructor,
just tweaking `check` behaviour.  This is improve UX without breaking
changes.
parent 5d97fcf0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 37 additions and 3 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