I agree with this. For example, it leads to weird situations where a linter with a strict type checking configuration marks some code as a type error, but it ru

I agree with this. For example, it leads to weird situations where a linter with a strict type checking configuration marks some code as a type error, but it runs just fine. Which, in turn, leads to you ignoring type errors entirely, since you don't know which one are spurious and which ones aren't.