Just plumbing from the language level to the assume intrinsics with
separate_storage operand bundles.
Nice, thanks for adding the builtin layer.
Can you prefix this with a FIXME/TODO?
IIUC, seems like there a two pieces here you can already cover as part of this patch: