Having precise GC in D eventually would be cool. Not having to worry about false pointers is always good.