Fix type alias of opaque triggering missing dependencies

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs

https://epfl-lara.github.io/stainless/

Apache License 2.0

349 stars 49 forks source link

Fix type alias of opaque triggering missing dependencies #1498

Closed mario-bucev closed 5 months ago

mario-bucev commented 5 months ago

Apparently the oddity about opaque types as mentioned in the (deleted) comment is now gone, the special handling is no longer necessary (and would actually cause problem for aliases of opaque types).