build

Fix type inference for and/or idioms and circular dependency in tracer #4914

Job	Run time
compile (windows-latest, windows, win32-x64)	3m 44s
compile (windows-latest, windows, win32-ia32)	4m 11s
compile (macos-latest, darwin, darwin-x64)	1m 39s
compile (macos-latest, darwin, darwin-arm64)	2m 10s
compile (ubuntu-22.04, linux, linux-x64)	3m 36s
compile (ubuntu-24.04-arm, linux, linux-arm64)	2m 8s
	17m 28s

Provide feedback