unwrap builtin opaques like NUM_NUM

roc-lang · Nov 28, 2023 · b7512af · b7512af
1 parent b6956f7
commit b7512af
Showing 1 changed file with 4 additions and 0 deletions.
diff --git 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.