4 ms·

So less meticulous care then?

• skydhash 3mo ago
  Not really, as you always need to check back on your assertions, especially at the boundary points where information about types and ownership are more axiomatic than the result of logical inference.
  • fooster 3mo ago
    Sure, but there are less assertions to check. The surface area and boundaries are smaller and more limited.