Revive work on Polymorphic Sorts #1971
Annotations
1 warning and 1 notice
|
key.core/src/test/java/de/uka/ilkd/key/parser/TestDeclParser.java#L166
The value checkGenericSort(nss.sorts().lookup(new Name("H")), DefaultImmutableSet.nil().add(G), DefaultImmutableSet.nil()) assigned to `H` is never used
|
|
key.core/src/main/java/de/uka/ilkd/key/nparser/builder/DeclarationBuilder.java#L164
Value `name` is always 'null'
|
The logs for this run have expired and are no longer available.
Loading