From b7512afba077d25062e30be93d94cbbc2ef266f4 Mon Sep 17 00:00:00 2001
From: Brendan Hansknecht <brendan.hansknecht@gmail.com>
Date: Tue, 28 Nov 2023 09:54:02 -0800
Subject: [PATCH] unwrap builtin opaques like NUM_NUM

---
 crates/compiler/derive_key/src/inspect.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/crates/compiler/derive_key/src/inspect.rs b/crates/compiler/derive_key/src/inspect.rs
index 3bc5793c460..18f67dec8e2 100644
--- a/crates/compiler/derive_key/src/inspect.rs
+++ b/crates/compiler/derive_key/src/inspect.rs
@@ -141,6 +141,10 @@ impl FlatInspectable {
                         AliasKind::Structural => {
                             Self::from_var(subs, real_var)
                         }
+                        AliasKind::Opaque if sym.is_builtin() => {
+                            // TODO: Is this correct for all builtins? It is at least required for the Num wrapper types.
+                            Self::from_var(subs, real_var)
+                        }
                         AliasKind::Opaque => {
                             // There are two cases in which `Inspect` can be derived for an opaque
                             // type.