Initially I disagreed with you, but I do see value in what you propose, but I would implement it the other way around — add an option to the compiler that turns

Initially I disagreed with you, but I do see value in what you propose, but I would implement it the other way around — add an option to the compiler that turns type check errors into warnings only, say dev mode. Then the following arguments are moot, as CICD will run it in the “sane default” setting.