Skip to content

Conversation

@Kaida-Amethyst
Copy link
Contributor

We have Array::get to retrieve an element from an array safely, but we do not have ArrayView::get to do the same thing.

This PR is for solving this problem.

@coveralls
Copy link
Collaborator

Pull Request Test Coverage Report for Build 2064

Details

  • 3 of 3 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.003%) to 90.845%

Totals Coverage Status
Change from base Build 2063: 0.003%
Covered Lines: 10161
Relevant Lines: 11185

💛 - Coveralls

@bobzhang bobzhang merged commit a6bf185 into moonbitlang:main Dec 8, 2025
17 of 18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants