adde52aadde52afe192930ed281a5b4648e6a6185d33afa

fix: replace optional-chain non-null assertion in create-aop test

isabelle-cedarSep 20, 2026, 1:50 PM