Make Self clause explicit in trait item declarations
#1798
Annotations
1 error
|
Run nix build --refresh -L 'github:aeneasverif/aeneas#checks.x86_64-linux.aeneas-tests' \
Process completed with exit code 1.
|
Loading