Skip to content
Snippets Groups Projects
Commit 592e4113 authored by Anselm Schüler's avatar Anselm Schüler :performing_arts: Committed by Marge Bot
Browse files

Note that ImpredicativeTypes doesn’t allow polymorphic instances 

See #20939
parent 85dc61ee
Branches tc-errors
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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