Skip to content
Snippets Groups Projects
Commit a14d0e63 authored by sheaf's avatar sheaf Committed by Marge Bot
Browse files

Bump TcLevel of failing kind equality implication 

  Not bumping the TcLevel meant that we could end up
  trying to add evidence terms for the implication constraint
  created to wrap failing kind equalities (to avoid their deferral).

fixes #20043
parent a7629334
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