Skip to content

Add a with_eta checker flag, and trusted implementation in safeconversion#1260

Open
mattam82 wants to merge 1 commit into
MetaRocq:mainfrom
mattam82:unsafe-check-with-eta
Open

Add a with_eta checker flag, and trusted implementation in safeconversion#1260
mattam82 wants to merge 1 commit into
MetaRocq:mainfrom
mattam82:unsafe-check-with-eta

Commits

Commits on Mar 20, 2026