> It is now possible to defer type errors until runtime using the -fdefer-type-errors flag: Section 7.13, “Deferring type errors to runtime”.