chore: no noncomputable inside noncomputable section#41551
Draft
felixpernegger wants to merge 2 commits into
Draft
chore: no noncomputable inside noncomputable section#41551felixpernegger wants to merge 2 commits into
noncomputable inside noncomputable section#41551felixpernegger wants to merge 2 commits into
![pre-commit-ci-lite[bot]](https://avatars.githubusercontent.com/in/257897?v=4&size=32){kind=avatar}