check_adhoc for inspect

Author: bhansconnect

crates/compiler/solve/src/ability.rs

@@ -304,6 +304,13 @@ impl ObligationCache {
 
             Symbol::BOOL_EQ => Some(DeriveEq::is_derivable(self, abilities_store, subs, var)),
 
+            Symbol::INSPECT_INSPECT_ABILITY => Some(DeriveInspect::is_derivable(
+                self,
+                abilities_store,
+                subs,
+                var,
+            )),
+
             _ => None,
         };
 

crates/compiler/uitest/tests/ability/specialize/inspect/num_a_to_inspector.txt

@@ -1,4 +1,4 @@
 app "test" provides [main] to "./platform"
 
 main = Inspect.toInspector 7 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
-#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
+#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): I64 -[[Inspect.dbgI64(54)]]-> Inspector DbgFormatter

crates/compiler/uitest/tests/ability/specialize/inspect/opaque_derived.txt

@@ -3,4 +3,4 @@ app "test" provides [main] to "./platform"
 Op := U8 implements [Inspect]
 
 main = Inspect.toInspector (@Op 1u8)
-#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Op -[[] + f:Inspect.opaque(15):1]-> Inspector f where f implements InspectFormatter
+#      ^^^^^^^^^^^^^^^^^^^ Op#Inspect.toInspector(3): Op -[[#Op_toInspector(3)]]-> Inspector f where f implements InspectFormatter

crates/compiler/uitest/tests/ability/specialize/inspect/u8_to_inspector.txt

@@ -1,4 +1,4 @@
 app "test" provides [main] to "./platform"
 
 main = Inspect.toInspector 7u8 |> Inspect.apply (Inspect.init {}) |> Inspect.toDbgStr
-#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): Bool -[[Inspect.dbgBool(43)]]-> Inspector DbgFormatter
+#      ^^^^^^^^^^^^^^^^^^^ Inspect#Inspect.toInspector(32): U8 -[[Inspect.dbgU8(47)]]-> Inspector DbgFormatter