julia
538a5110 - remove now unnecessary effects annotations

Commit

2 years ago

remove now unnecessary effects annotations

References

avi/inbounds-nothrow

#50167 - improve the interplay between bounds checking system and effect system

Author

aviatesk

aviatesk

Committer

aviatesk

aviatesk

Parents

Loading