julia
589203ee - Correct nothrow modeling of `get_binding_type` (#56430)

Commit
1 year ago
Correct nothrow modeling of `get_binding_type` (#56430) As pointed out in https://github.com/JuliaLang/julia/pull/56299#discussion_r1826509185, although the bug predates that PR.
Author
Parents
Loading