Open ByThePowerOfScience opened 2 weeks ago
Thanks for reporting this. What I see in IntelliJ is this is only an issue when you generate the implementation via Implement methods
quick fix, it automatically selects the call()
method for implementation, if you unselect it, all is well. I am looking into why IJ is doing this since, internally, call() is modeled as a default
interface method.
Describe the bug When writing a class that implements
java.util.Map
while usingmanifold-ext
, IDEA's linter requires that I overrideICallHandler#call
since it does not have a default implementation in the interface.To Reproduce Steps to reproduce the behavior:
Map
call
.Expected behavior As
ICallHandler
doesn't actually exist on theMap
type, it shouldn't be required to be implemented on a custom map.Desktop (please complete the following information):
manifold-delegation:2024.1.38