Closed rsmckinney closed 2 years ago
Usage of manifold-ext features (operator overloading, extension methods, etc.) are not processed within record classes.
For instance:
public record Foo(String name) { public void whatever() { String s = List.of("hi")[0]; // usage of index operator does not work in a record class } }
Fixed in release 2022.1.26
Usage of manifold-ext features (operator overloading, extension methods, etc.) are not processed within record classes.
For instance: