Closed seanlatias closed 5 years ago
Also, even if the loop bound is one, if the loop is annotated, the loop will not be simplified.
Also, even if the loop bound is one, if the loop is annotated, the loop will not be simplified.