[ new ] add --show-implicits flag (#3484) #1207

Job	Run time
initialise	5s
quick-check	5m 34s
ubuntu-bootstrap-chez	8m 7s
macos-bootstrap-chez	7m 5s
nix-bootstrap-chez	18m 43s
ubuntu-bootstrap-racket	12m 34s
ubuntu-self-host-previous-version	10m 27s
windows-bootstrap-chez	23m 26s
macos-self-host-chez	16m 19s
ubuntu-build-api	4m 23s
ubuntu-self-host-chez	10m 12s
ub-test-collie	19s
ub-test-elab-util	5m 0s
ub-pack-test-lsp	14m 47s
ub-pack-test-pack	11m 43s
ub-test-frex	3m 44s
ub-test-katla-and-html	5m 40s
ubuntu-self-host-racket	0s
windows-self-host-racket	12m 39s
	2h 50m 47s

Provide feedback