type inference no longer enabled by default