Skip to content

lookupIdSubst panic in fireRewriteRules

I haven't minimised yet but fireRewriteRules is called with function f and arguments args

f: $p1Applicative
f: [TYPE: StateT
           (RebuildableSchemaCache, CacheInvalidations,
            SourcesIntrospectionStatus)
           m_a1srI,
   ww4_s1P8S]

specLookupRule then returns

rule: Built in rule for $p1Applicative: "Class op $p1Applicative"
expr: $fFunctorStateT
    @m_a1srI
    @(RebuildableSchemaCache, CacheInvalidations,
      SourcesIntrospectionStatus)
    ($p1Applicative @m_a1srI ($p1Monad @m_a1srI $dMonad_s1P8Q))

and then simplOptExprWith fails because $dMonad_s1P8Q is not in the in-scope set.

Seems somewhat similar to #21689 (closed)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information