Skip to content

[basic.def.odr] Make a lambda contract predicate odr-usable for captures#12

Open
abhinavagarwal07 wants to merge 1 commit into
mainfrom
fix-odr-usable-lambda-contract
Open

[basic.def.odr] Make a lambda contract predicate odr-usable for captures#12
abhinavagarwal07 wants to merge 1 commit into
mainfrom
fix-odr-usable-lambda-contract

Commits

Commits on Jun 17, 2026