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 e

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.