Skip to content

Adding a case for type instantiation

Viktor Kuncak requested to merge github/fork/mario-bucev/more-instantiation into main

Created by: mario-bucev

Concerns the case ADTType -> RefinementType. However, we drop the prop part, so maybe this is incorrect?

Merge request reports