JRE reflection-based shimming with generic types triggers NotImplementedError

[wandernauta]

The following Java class can not be verified, instead causing a NotImplementedError during type resolution:

class Apple implements Comparable<Apple> {
    public int compareTo(Apple o) {
        return 1;
    }
}

gives

[INFO] Start: VerCors (at 17:36:08)
[WARN] Attempting to load a shim of Comparable via reflection.
[WARN] Attempting to load a shim of java.lang.Comparable via reflection.
[INFO] Done: VerCors (at 17:36:08, duration: 00:00:00)
scala.NotImplementedError: an implementation is missing

Implementing e.g. Comparable<Object> instead shows the same error. This may be related to #1295 (though the exception being logged is slightly different).

	at scala.Predef$.$qmark$qmark$qmark(Predef.scala:344)
	at vct.col.resolve.lang.Java$.lazyType(Java.scala:198)
	at vct.col.resolve.lang.Java$.translateRuntimeType(Java.scala:297)
	at vct.col.resolve.lang.Java$.translateRuntimeParameter(Java.scala:304)
	at vct.col.resolve.lang.Java$.$anonfun$translateRuntimeClass$4(Java.scala:371)
	at scala.collection.immutable.ArraySeq.map(ArraySeq.scala:75)
	at scala.collection.immutable.ArraySeq.map(ArraySeq.scala:35)
	at vct.col.resolve.lang.Java$.$anonfun$translateRuntimeClass$3(Java.scala:370)
	at scala.collection.ArrayOps$.map$extension(ArrayOps.scala:934)
	at vct.col.resolve.lang.Java$.translateRuntimeClass(Java.scala:357)
	at vct.col.resolve.lang.Java$.findRuntimeJavaType(Java.scala:247)
	at vct.col.resolve.lang.Java$.$anonfun$findJavaTypeName$7(Java.scala:534)
	at hre.util.FuncTools$.$anonfun$firstOption$4(FuncTools.scala:13)
	at scala.Option.orElse(Option.scala:477)
	at hre.util.FuncTools$.$anonfun$firstOption$3(FuncTools.scala:13)
	at scala.collection.LinearSeqOps.foldLeft(LinearSeq.scala:183)
	at scala.collection.LinearSeqOps.foldLeft$(LinearSeq.scala:179)
	at scala.collection.immutable.List.foldLeft(List.scala:79)
	at hre.util.FuncTools$.firstOption(FuncTools.scala:13)
	at vct.col.resolve.lang.Java$.$anonfun$findJavaTypeName$6(Java.scala:534)
	at scala.Option.orElse(Option.scala:477)
	at vct.col.resolve.lang.Java$.findJavaTypeName(Java.scala:535)
	at vct.col.resolve.ResolveTypes$.resolveOne(Resolve.scala:213)
	at vct.col.resolve.ResolveTypes$.resolve(Resolve.scala:137)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1$adapted(Resolve.scala:136)
	at scala.collection.immutable.List.foreach(List.scala:333)
	at vct.col.resolve.ResolveTypes$.resolve(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1$adapted(Resolve.scala:136)
	at scala.collection.immutable.List.foreach(List.scala:333)
	at vct.col.resolve.ResolveTypes$.resolve(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.$anonfun$resolve$1$adapted(Resolve.scala:136)
	at scala.collection.immutable.List.foreach(List.scala:333)
	at vct.col.resolve.ResolveTypes$.resolve(Resolve.scala:136)
	at vct.col.resolve.ResolveTypes$.resolve(Resolve.scala:130)
	at vct.main.stages.Resolution.run(Resolution.scala:143)
	at vct.main.stages.Resolution.run(Resolution.scala:120)
	at hre.stages.Stages.$anonfun$run$3(Stages.scala:104)
	at hre.stages.Stages.$anonfun$run$3$adapted(Stages.scala:101)
	at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
	at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
	at scala.collection.AbstractIterable.foreach(Iterable.scala:933)
	at scala.collection.IterableOps$WithFilter.foreach(Iterable.scala:903)
	at hre.stages.Stages.$anonfun$run$1(Stages.scala:101)
	at hre.progress.task.NameSequenceTask.scope(NameSequenceTask.scala:16)
	at hre.progress.Progress$.stages(Progress.scala:47)
	at hre.stages.Stages.run(Stages.scala:98)
	at hre.stages.Stages.run$(Stages.scala:95)
	at hre.stages.StagesPair.run(Stages.scala:145)
	at vct.main.modes.Verify$.verifyWithOptions(Verify.scala:64)
	at vct.main.modes.Verify$.$anonfun$runOptions$3(Verify.scala:99)
	at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.scala:17)
	at hre.util.Time$.logTime(Time.scala:23)
	at vct.main.modes.Verify$.runOptions(Verify.scala:99)
	at vct.main.Main$.runMode(Main.scala:107)
	at vct.main.Main$.$anonfun$runOptions$3(Main.scala:100)
	at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.scala:17)
	at hre.middleware.Middleware$.using(Middleware.scala:78)
	at vct.main.Main$.$anonfun$runOptions$2(Main.scala:100)
	at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.scala:17)
	at hre.io.Watch$.booleanWithWatch(Watch.scala:58)
	at vct.main.Main$.$anonfun$runOptions$1(Main.scala:100)
	at scala.runtime.java8.JFunction0$mcI$sp.apply(JFunction0$mcI$sp.scala:17)
	at hre.middleware.Middleware$.using(Middleware.scala:78)
	at vct.main.Main$.runOptions(Main.scala:95)
	at vct.main.Main$.main(Main.scala:50)
	at vct.main.Main.main(Main.scala)
[ERROR] !*!*!*!*!*!*!*!*!*!*!*!
[ERROR] ! VerCors has crashed !
[ERROR] !*!*!*!*!*!*!*!*!*!*!*!

Version: 077f8b9 (dev branch).

This issue was found by fuzzing.