Skip to content
GitLab
Explore
Sign in
Register
base: Improve documentation of `throwIO` (
#19854
)
Code
Review changes
Check out branch
Download
Patches
Plain diff
Sebastian Graf
requested to merge
wip/T19854
into
master
Feb 24, 2022
Overview
5
Commits
1
Pipelines
1
Changes
1
Expand
Now it takes a better account of precise vs. imprecise exception semantics.
Fixes
#19854 (closed)
.
Merge request reports
Loading