internal/core/adt: remove a piece of code in isFinal only needed for evalv2
As suggested by the TODO. In a separate commit, for easier bisection
if it ends up causing any issues.
Signed-off-by: Daniel Martí <mvdan@mvdan.cc>
Change-Id: Ia2419403874e2ffb1aca6300574862cc7a22286c
Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/1220047
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Marcel van Lohuizen <mpvl@gmail.com>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>