Do you think it was obvious that such mutability rules and borrow checks were sufficient before languages like rust were invented? What about a more impractica

Do you think it was obvious that such mutability rules and borrow checks were sufficient before languages like rust were invented? What about a more impractical approach like e.g. ATS?