xpected region: the following error was constructed but not emittederror was constructed but not emitteddiagnostic with no messages

query stack during panic:
# []   interner: #Region interner: #Const Allocation interner: #Layout interner: #assertion failed: elem.index() < self.domain_sizeDlOpenDlOpenUnknownDlSymDlSymUnknownDlCloseDlCloseUnknownLoadLibraryExWsourceLoadLibraryExWUnknownGetModuleHandleExWGetModuleHandleExWUnknownGetProcAddressGetProcAddressUnknownFreeLibraryFreeLibraryUnknownCreateCStringCreateCStringWithTrailingInteriorNuldescription() is deprecated; use Displaynul byte found in dataa formatting trait implementation returned an error when the underlying stream did notencountered_overflowresultOkInductiveUnknownCoinductiveForcedAmbiguityassertion failed: self.final_revision.is_none()AddGoalNestedProbeMakeCanonicalResponseshallow_certaintyRecordImplArgsimpl_argsTypeRelatingImplWhereBoundAliasBoundConstConditionInstantiateHigherRankedAliasWellFormedNormalizeGoaltried to add var values to WipGoalEvaluationuncanonicalized_goalorig_valuesfinal_revisioninternal error: entered unreachable code: unexpected proof tree builder root node: 