Without that, the language server might trigger awkward warnings about unused imports due to trace stripping. So it's better to compile/check projects in the language server in the most expanded form.