Merge pull request #1228 from cryspen/fix-missing-rec #3684

Job	Run time
no-std-lib	47s
test-workspace (macos-latest)	1m 46s
test-workspace (ubuntu-latest)	1m 6s
test-workspace (windows-latest)	2m 33s
	6m 12s

Provide feedback