PANIC at Lean.isLevelMVarAssignable Lean.MetavarContext:413:14: unknown universe metavariable
backtrace:
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_panic_fn+0x9e)[0x7fdd65f46d2e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_isLevelMVarAssignable___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal___spec__4+0x431)[0x7fdd659e2381]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_List_anyM___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal___spec__6+0x106)[0x7fdd659e37b6]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_hasAssignableMVar___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal___spec__1+0x210)[0x7fdd659e40a0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_hasAssignableMVar___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal___spec__1+0x210)[0x7fdd659e40a0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_hasAssignableMVar___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal___spec__1+0x210)[0x7fdd659e40a0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppMFinal+0x2ef)[0x7fdd659e671f]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_AppBuilder_0__Lean_Meta_mkAppOptMAux+0x15fc)[0x7fdd659f015c]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_mkAppOptM___lambda__1+0x239)[0x7fdd659f0f69]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_mkAppOptM___lambda__1___boxed+0x18)[0x7fdd659f1278]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fdd65f55010]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewMCtxDepthImp___rarg+0x461)[0x7fdd64e16811]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withNewMCtxDepth___at___private_Lean_Meta_WHNF_0__Lean_Meta_toCtorWhenK___spec__1___rarg+0x20)[0x7fdd651e31d0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fdd65f55010]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_AppBuilder_0__Lean_Meta_withAppBuilderTrace___rarg___lambda__3+0x93)[0x7fdd659ec383]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x363)[0x7fdd65f54fd3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_withTraceNode___at___private_Lean_Meta_AppBuilder_0__Lean_Meta_withAppBuilderTrace___spec__1+0x2ab)[0x7fdd659ebf0b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_mkAppOptM+0x14c)[0x7fdd659f121c]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_mkDefault+0x7b)[0x7fdd659fb29b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_PreDefinition_MkInhabitant_0__Lean_Elab_mkInhabitant_x3f+0xd0)[0x7fdd635be140]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_PreDefinition_MkInhabitant_0__Lean_Elab_mkFnInhabitant_x3f_loop+0x1162)[0x7fdd635c0d22]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_mkInhabitantFor+0xaa7)[0x7fdd635c1e77]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at___private_Lean_Elab_PreDefinition_Main_0__Lean_Elab_addAndCompilePartial___spec__2___lambda__2+0x172)[0x7fdd635e58a2]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_9+0x4f3)[0x7fdd65f582a3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x3e9)[0x7fdd65f55059]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x3a0)[0x7fdd65f55010]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withNewLocalInstance___at___private_Lean_Meta_Basic_0__Lean_Meta_withNewLocalInstancesImp___spec__1___rarg+0x18)[0x7fdd64e09128]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewLocalInstancesImp___rarg+0x93a)[0x7fdd64e08a5a]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_forallTelescopeReducingAuxAux_process___rarg+0x757)[0x7fdd64e07eb7]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_forallTelescopeReducingAuxAux___rarg+0x70)[0x7fdd64e0a7e0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_forallTelescope___at___private_Lean_Elab_PreDefinition_Main_0__Lean_Elab_addAndCompilePartial___spec__1___rarg+0x85)[0x7fdd635e53d5]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at___private_Lean_Elab_PreDefinition_Main_0__Lean_Elab_addAndCompilePartial___spec__2___lambda__3+0x104)[0x7fdd635e64d4]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at___private_Lean_Elab_PreDefinition_Main_0__Lean_Elab_addAndCompilePartial___spec__2+0x23d)[0x7fdd635e692d]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_PreDefinition_Main_0__Lean_Elab_addAndCompilePartial+0x10f)[0x7fdd635e7fff]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_addPreDefinitions___spec__15___lambda__4+0x2a3f)[0x7fdd636082af]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Array_forInUnsafe_loop___at_Lean_Elab_addPreDefinitions___spec__15+0x2bd)[0x7fdd63609efd]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_addPreDefinitions___lambda__1+0x4b6)[0x7fdd6360b766]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_addPreDefinitions___lambda__1___boxed+0x85)[0x7fdd6360be05]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x446)[0x7fdd65f550b6]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withLCtx___at_Lean_Elab_Term_elabSyntheticHole___spec__4___rarg+0x4f)[0x7fdd631da6af]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_addPreDefinitions+0xf4)[0x7fdd6360bd64]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_elabMutualDef_go___lambda__1+0xbcb)[0x7fdd63e237db]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_5+0x577)[0x7fdd65f551e7]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withLCtx___at_Lean_Elab_Term_elabSyntheticHole___spec__4___rarg+0x4f)[0x7fdd631da6af]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_MutualDef_0__Lean_Elab_Term_withUsed___rarg+0x325)[0x7fdd63dde525]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_elabMutualDef_go___lambda__2+0x5ae)[0x7fdd63e24e9e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_elabMutualDef_go___lambda__3+0xb3c)[0x7fdd63e25e3c]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x5e8)[0x7fdd65f576e8]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_MutualDef_0__Lean_Elab_Term_withFunLocalDecls_loop___rarg+0x311)[0x7fdd63dcfa61]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_MutualDef_0__Lean_Elab_Term_withFunLocalDecls_loop___rarg___lambda__1+0x78)[0x7fdd63dcf6f8]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x57b)[0x7fdd65f5767b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_withAuxDecl___rarg___lambda__1+0x273)[0x7fdd62f9cfa3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x50b)[0x7fdd65f5760b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_6+0x3ec)[0x7fdd65f55cdc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewFVar___rarg+0x311)[0x7fdd64e11031]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withLocalDeclImp___rarg+0x295)[0x7fdd64e11555]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withLocalDecl___at_Lean_Elab_Term_withAuxDecl___spec__1___rarg+0x8e)[0x7fdd62f9cb0e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_withAuxDecl___rarg+0x97)[0x7fdd62f9d1a7]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_elabMutualDef_go+0x68c)[0x7fdd63e280fc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_7+0x421)[0x7fdd65f56941]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_withoutAutoBoundImplicit___rarg+0x72)[0x7fdd63021432]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runTermElabM___rarg___lambda__1___boxed+0x49)[0x7fdd633ebdd9]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_9+0x420)[0x7fdd65f581d0]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Term_addAutoBoundImplicits_x27___rarg+0x3ab)[0x7fdd6303236b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runTermElabM___rarg___lambda__2+0x689)[0x7fdd633eb919]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Elab_Command_runTermElabM___rarg___lambda__2___boxed+0x22)[0x7fdd633ebfd2]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x735)[0x7fdd65f57835]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x50b)[0x7fdd65f5760b]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg+0x40a)[0x7fdd6380c59a]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg___boxed+0x2c)[0x7fdd6380c8cc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x53e)[0x7fdd65f5763e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg+0xd93)[0x7fdd6380a5b3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg___lambda__1+0x405)[0x7fdd638094d5]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x5e8)[0x7fdd65f576e8]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_6+0x3ec)[0x7fdd65f55cdc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewFVar___rarg+0x311)[0x7fdd64e11031]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withLocalDeclImp___rarg+0x295)[0x7fdd64e11555]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withLocalDecl___at_Lean_Elab_Term_withAuxDecl___spec__1___rarg+0x8e)[0x7fdd62f9cb0e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg___lambda__2+0x113)[0x7fdd6380b683]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg+0xa3a)[0x7fdd6380a25a]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg+0x399)[0x7fdd6380c529]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg___boxed+0x2c)[0x7fdd6380c8cc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x53e)[0x7fdd65f5763e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg+0xd93)[0x7fdd6380a5b3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg___lambda__1+0x405)[0x7fdd638094d5]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x5e8)[0x7fdd65f576e8]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_6+0x3ec)[0x7fdd65f55cdc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewFVar___rarg+0x311)[0x7fdd64e11031]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withLocalDeclImp___rarg+0x295)[0x7fdd64e11555]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l_Lean_Meta_withLocalDecl___at_Lean_Elab_Term_withAuxDecl___spec__1___rarg+0x8e)[0x7fdd62f9cb0e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg___lambda__2+0x113)[0x7fdd6380b683]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg+0xa3a)[0x7fdd6380a25a]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg+0x399)[0x7fdd6380c529]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBindersAux_loop___rarg___boxed+0x2c)[0x7fdd6380c8cc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x53e)[0x7fdd65f5763e]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg+0xd93)[0x7fdd6380a5b3]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Elab_Binders_0__Lean_Elab_Term_elabBinderViews_loop___rarg___lambda__1+0x405)[0x7fdd638094d5]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_8+0x5e8)[0x7fdd65f576e8]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(lean_apply_6+0x3ec)[0x7fdd65f55cdc]
/home/timeroot/.elan/toolchains/leanprover--lean4---v4.7.0-rc2/lib/lean/libleanshared.so(l___private_Lean_Meta_Basic_0__Lean_Meta_withNewFVar___rarg+0x311)[0x7fdd64e11031]