I think that borrow checking is only a minor part of the complexity. You still n...

Manishearth on Dec 2, 2016 | parent | context | favorite | on: Reflections on Rusting Trust

I think that borrow checking is only a minor part of the complexity. You still need to do most of type checking for type and method resolution. So it would be easier, but not much easier.

But yes, such a compiler can be used.