What if there was syntax that was built into a language that required annotating exceptions functions that threw exceptions. That way at least you would know th

What if there was syntax that was built into a language that required annotating exceptions functions that threw exceptions. That way at least you would know that an exception was possible to be thrown in a function and could handle it appropriately