Commit 2024-04-29 19:35 e8e66e71

fix: get variable? to handle Type* and Sort* (#8908) Every time Type* and Sort* elaborate, they generate fresh universe level variables. This was not being accounted for in the computed vs expected check.