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)