Skip to content

Add type constraints to uninterpreted conversions - #1154

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_956072368
Aug 1, 2026
Merged

Add type constraints to uninterpreted conversions#1154
copybara-service[bot] merged 1 commit into
mainfrom
test_956072368

Add type constraints to uninterpreted conversions

1dccf2f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar