fn collect_block_writes_checked<'hir>( hir: &'hir Hir<'hir>, block: Block<'hir>, candidates: &HashSet<VariableId>, writes: &mut HashSet<VariableId>, bases: &'hir [ContractId], ) -> Result<(), ()>