Why does D rely on a GC?

[bearophile via Digitalmars-d]

Ary Borenszweig:

> Then here someone from the team says he can't say a way to 
> improve the performance by an order of magnitude:
>
> https://www.mail-archive.com/rust-dev@mozilla.org/msg02856.html
>
> (but I don't know how true is that)

Can't they remove some type inference from the language?

Type inference is handy (but I write down all type signatures in 
Haskell, sometimes even for nested functions) but if it costs so 
much in compilation time then perhaps isn't it a good idea to 
remove some type inference from Rust?

Bye,
bearophile