Infer type of exception handling with empty blocks