blame | history | raw
lin
2025-07-31 065ea569db06206874bbfa18eb25ff6121aec09b 
1
2

Check that we can optimize interface calls without


requiring the verifier to sharpen them.