Skip to content
Backport

fix: make sure anonymous dot notation works with pi-type-valued type synonyms #3302

Sign in to view logs

fix: make sure anonymous dot notation works with pi-type-valued type synonyms

fix: make sure anonymous dot notation works with pi-type-valued type synonyms #3302

The logs for this run have expired and are no longer available.