def raises(exception: Exception) -> ExceptionInfo: ...